Interactive theorem proving : second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011 ; 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: Interactive theorem proving : second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011 ; proceedings
Beteiligte: Eekelen, Marko van [Hrsg.]
Veranstaltung: ITP
Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2011
Erschienen in: Lecture notes in computer science ; 6898
Umfang: XI, 382 S.; graph. Darst
Sprache: Englisch
ISBN: 3642228623; 9783642228629
Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 80083414
RVK-Notation: SS 4800 : Lecture notes in computer science
Schlagwörter: Automatisches Beweisverfahren
HOL
Entstehung:
Anmerkungen: Literaturangaben
Weitere Bestandsnachweise
0 : Lecture notes in computer science