Computational aspects of an order-sorted logic with term declarations

By:

Schmidt-Schaub M

Material type:

TextLanguage: English Series: Lecture notes in artificial intelligence; 395Publication details: Berlin Spinger-Verlag 1989Description: 171p. cmSubject(s):

Computer science

DDC classification:

D65,8(B):(R1), M9

Item type:

Textual

Tags from this library: No tags from this library for this title. Log in to add tags.

Star ratings

Cancel rating. Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Holdings
Cover image	Item type	Current library	Home library	Collection	Shelving location	Call number	Materials specified	Vol info	URL	Copy number	Status	Notes	Date due	Barcode	Item holds	Item hold queue priority	Course reserves
	Textual	Central Science Library	Central Science Library			D65,8(B):(R1) M9 (Browse shelf(Opens below))					Available			SL1023968

There are no comments on this title.

Browse results Close

Back to results

101 "Regional approaches to confidence and security building measures (Confidence bulding measures in the Asia-Pacific region.Vol.6) Paper No.7,8,9,10,11,12,14,16,17."
102 "Regional approaches to confidence and security building measures (Confidence bulding measures in the Asia-Pacific region.Vol.6) Paper No.7,8,9,10,11,12,14,16,17."
103 "Regional approaches to confidence and security building measures (Confidence bulding measures in the Asia-Pacific region.Vol.6) Paper No.7,8,9,10,11,12,14,16,17."
104 "Regional approaches to confidence and security building measures (Confidence bulding measures in the Asia-Pacific region.Vol.6) Paper No.7,8,9,10,11,12,14,16,17."
105 "Regional approaches to confidence and security building measures (Confidence bulding measures in the Asia-Pacific region.Vol.6) Paper No.7,8,9,10,11,12,14,16,17."
106 "Regional approaches to confidence and security building measures (Confidence bulding measures in the Asia-Pacific region.Vol.6) Paper No.7,8,9,10,11,12,14,16,17."
107 "Regional approaches to confidence and security building measures (Confidence bulding measures in the Asia-Pacific region.Vol.6) Paper No.7,8,9,10,11,12,14,16,17."
108 "Regional approaches to confidence and security building measures (Confidence bulding measures in the Asia-Pacific region.Vol.6) Paper No.7,8,9,10,11,12,14,16,17."
109 "Regional approaches to confidence and security building measures (Confidence bulding measures in the Asia-Pacific region.Vol.6) Paper No.7,8,9,10,11,12,14,16,17."
110 "Regional approaches to confidence and security building measures (Confidence bulding measures in the Asia-Pacific region.Vol.6) Paper No.7,8,9,10,11,12,14,16,17."
111 "Regional approaches to confidence and security building measures (Confidence bulding measures in the Asia-Pacific region.Vol.6) Paper No.7,8,9,10,11,12,14,16,17."
112 "Regional approaches to confidence and security building measures (Confidence bulding measures in the Asia-Pacific region.Vol.6) Paper No.7,8,9,10,11,12,14,16,17."
113 "Regional approaches to confidence and security building measures (Confidence bulding measures in the Asia-Pacific region.Vol.6) Paper No.7,8,9,10,11,12,14,16,17."
114 "Regional approaches to confidence and security building measures (Confidence bulding measures in the Asia-Pacific region.Vol.6) Paper No.7,8,9,10,11,12,14,16,17."
115 "Regional cartographic conference for Asia and the Far East, 1955-58"
116 "Regional cartographic conference for Asia and the Far East, 1955-58"
117 "Regional cartographic conference for Asia and the Far East, 1955-58"
118 "Regional cartographic conference for Asia and the Far East, 1955-58"
119 "Regional cartographic conference for Asia and the Far East, 1955-58"
120 "Regional cartographic conference for Asia and the Far East, 1955-58"
121 "Regional cartographic conference for Asia and the Far East, 1955-58"
122 "Regional cartographic conference for Asia and the Far East, 1955-58"
123 "Regional cartographic conference for Asia and the Far East, 1955-58"
124 "Regional cartographic conference for Asia and the Far East, 1955-58"
125 "Regional cartographic conference for Asia and the Far East, 1955-58"
126 "Report ,1957-58"
127 "Report ,1957-58"
128 "Report of the board of auditors, official records"
129 "Report of the expert group meeting on planning the agricultural sector in relation to over all planning and sectoral programming Beirut lebanon,1970"
130 "Report of the security council, 16 June 1971-15 June 1972."
131 "Report, 1971"
132 "Reprot of the regional seminar on the industrial application of microbiology in the pharmaceutical industry,1971."
133 "Reverse transfer of technology survey of its features, causes and policy implications"
134 "Review of science and technology in ESCWA member countries , issue no. 1"
135 "Review of science and technology in ESCWA member countries , issue no. 1"
136 "Rice-husk, ash, cement"
137 "Role and place of engineering industries in national and world Economics up-dating to, 1970-1975 of the Analytical Part"
138 "Science, technology and innovation policy review"
139 "Science, technology and innovation policy review"
140 "Second assessment of transboundary rivers, lakes and groundwaters"
141 "Selected documents 3Pts in IV, Industrial development in the ARAB countries."
142 "Seminar on Housing Surveys and Programmes with Particular reference to problems in the Developing countries held at Zagreb, Yogoslavia,1961"
143 "Statement of treaties and International agreements,1966"
144 "Statement of treaties and International agreements,1966"
145 "Statement of treaties and International agreements,1966"
146 "Statement of treaties and International agreements,1966"
147 "Statement of treaties and International agreements,1966"
148 "Statement of treaties and International agreements,1966"
149 "Statement of treaties and International agreements,1966"
150 "Statement of treaties and International agreements,1966"

Computational aspects of an order-sorted logic with term declarations

APA

Schmidt-Schaub M, . (1989). Computational aspects of an order-sorted logic with term declarations. Berlin: Spinger-Verlag.

Chicago

Schmidt-Schaub M, . 1989. Computational aspects of an order-sorted logic with term declarations. Berlin: Spinger-Verlag.

Harvard

Schmidt-Schaub M, . (1989). Computational aspects of an order-sorted logic with term declarations. Berlin: Spinger-Verlag.

MLA

Schmidt-Schaub M, . Computational aspects of an order-sorted logic with term declarations. Berlin: Spinger-Verlag. 1989.

Place hold
Print
Cite
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Exporting to Dublin Core...

Simple DC-RDF

OAI-DC

SRW-DC