KOBV-Portal

Treffer pro Seite

Treffer 1 - 1 | 1 Treffer

Alles auswählen Exportieren

Buch

Computational aspects of an order-sorted logic with term declarations (1989)

Schmidt-Schauß, Manfred

Berlin : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

gbv_025334204

Umfang: VIII, 171 S , graph. Darst.

ISBN: 3540517057 , 0387517057

Serie: Lecture notes in computer science 395

Anmerkung: Literaturverz. S. [156] - 166 , Zugl.: Kaiserslautern, Univ., Diss. : 1988

Weitere Ausg.: Online-Ausg. Schmidt-Schauß, Manfred Computational aspects of an order-sorted logic with term declarations Berlin [u.a.] : Springer, 1989 ISBN 9783540467748

Weitere Ausg.: Erscheint auch als Online-Ausgabe Schmidt-Schauß, Manfred Computational Aspects of an Order-Sorted Logic with Term Declarations Berlin, Heidelberg : Springer Berlin Heidelberg, 1989 ISBN 9783540467748

Sprache: Englisch

Fachgebiete: Informatik

RVK:

SS 4800

Schlagwort(e): Unifikationstheorie ; Ordnungssortierte Logik ; Hochschulschrift

URL: Cover

URL: Inhaltstext