KOBV Portal

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Book

Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14 - 17, 2004 ; proceedings (2004)

Slind, Konrad [Hrsg.] ; TPHOLs 17 2004 Park City, Utah

Berlin : Springer

add to watchlist on the watchlist

Details

UID:

gbv_393023583

Format: VIII, 336 S. , graph. Darst. , 235 mm x 155 mm

ISBN: 3540230173

Series Statement: Lecture notes in computer science 3223

Note: Literaturangaben

Additional Edition: Erscheint auch als Online-Ausgabe Slind, Konrad Theorem Proving in Higher Order Logics Berlin, Heidelberg : Springer Berlin Heidelberg, 2004 ISBN 9783540230175

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Automatisches Beweisverfahren ; HOL ; Formale Sprache ; Deduktion ; Automatisches Beweisverfahren ; Programmverifikation ; Logischer Entwurf ; Konferenzschrift ; Kongress ; Konferenzschrift

URL: Cover

URL: Einführung/Vorwort

URL: Inhaltsverzeichnis

URL: Inhaltstext

URL: http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3223

URL: http://www.loc.gov/catdir/summary/eng0801/2004111288.html

URL: http://www.loc.gov/catdir/enhancements/fy0823/2004111288-d.html

URL: Volltext (Online Access)