Treffer: Higher order logic theorem proving and its applications
Titel:
Higher order logic theorem proving and its applications : 6th international workshop ; proceedings / HUG '93, Vancouver, BC, Canada, August 11 - 13, 1993. Jeffrey J. Joyce ; Carl-Johan H. Seger (ed.)
Beteiligt:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 1994
Umfang:
IX, 517 Seiten : Diagramme
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 780
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturangaben
Schlagworte:
ISBN:
3540578269 ; 0387578269