> Detailanzeige

Melham, T. F. [HerausgeberIn] ; International Workshop on Higher Order Logic Theorem Proving and Its Applications 7 1994 Valletta

Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19 - 22, 1994 ; proceedings

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Schließen

Merkliste

Medientyp: Buch; Konferenzbericht
Titel: Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19 - 22, 1994 ; proceedings
Beteiligte: Melham, T. F. [Hrsg.]
Veranstaltung: International Workshop on Higher Order Logic Theorem Proving and Its Applications
Erschienen: Berlin; Heidelberg [u.a.]: Springer, 1994
Erschienen in: Lecture notes in computer science ; 859
Umfang: IX, 470 S.; graph. Darst; 24 cm
Sprache: Englisch
ISBN: 0387584501; 3540584501
RVK-Notation: SS 4800 : Lecture notes in computer science
Schlagwörter: Logik > Beweisführung
HOL
Entstehung:
Anmerkungen: Literaturangaben
Weitere Bestandsnachweise
0 : Lecture notes in computer science

(0)