Titel |
A resolution principle for a logic with restricted quantifiers / H.-J. Bürckert |
|---|---|
Beteiligt |
Hans-Jürgen Bürckert (Verfasser) |
Erschienen |
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest: Springer |
Umfang |
X, 116 S. : Ill. |
Hochschulschrift |
Zugl.: Kaiserslautern, Univ., Diss., 1990 |
ISBN |
978-3-540-55034-1 |
Sprache |
|
Themengebiet |
|
Thema |
|
Reihe |
Lecture notes in computer science ; 568 : Lecture notes in artificial intelligence |
Datensatz-ID |
911426558 |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: