Logic programming and automated reasoning : proceedings

Logic programming and automated reasoning proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: LPAR (BerichterstatterIn)
Weitere Verfasser: Voronkov, Andrei (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin Springer 1992
Schriftenreihe:Lecture notes im computer science 624
Schlagworte:
Konferenzschrift > Logische Programmierung > Automatisches Beweisverfahren
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:XIV, 509 S.
ISBN:354055727X
038755727X