Normale Ansicht MARC ISBD

Theorem proving in higher order logics 14th international conference, Edinburgh, Scotland UK, September 3 - 6, 2001 ; proceedings TPHOLs 2001. Richard J. Boulton ... (ed.)

Mitwirkende(r):

Materialtyp: Text

TextSprache: Englisch Reihen: ; 215200 | Lecture notes in computer science ; 2152Verlag: Berlin Heidelberg [u.a.] Springer 2001Beschreibung: X, 393 S. graph. Darst. 24 cmInhaltstyp:

Text

Medientyp:

ohne Hilfsmittel zu benutzen

Datenträgertyp:

Band

ISBN:

354042525X

Weitere Titel:

TPHOLs 2001

Schlagwörter:

Genre/Form:

Konferenzschrift -- 2001 -- Edinburgh

Andere physische Formen: Online-Ausg.: Theorem Proving in Higher Order LogicsAndere Klassifikation:

28
SS 4800
*00B25
68-06
03-06
68T15
03B35
54.71
54.72

Online-Ressourcen:

Bearbeitungsvermerk:

Archivierung/Langzeitarchivierung gewährleistet PEBW

Andere Ausgaben: Online-Ausg.: / Boulton, Richard J.: Theorem Proving in Higher Order Logics

Exemplare ( 1 )
Titelinformationen ( 2 )

Exemplare
Medientyp	Aktuelle Bibliothek	Sammlung	Standort	Signatur	Status	Fälligkeitsdatum	Barcode
Buch	Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik)	Campusbibliothek für Informatik und Mathematik (E2 3)	Series (GF)	LNCS 2152 (Regal durchstöbern(Öffnet sich unterhalb))	Verfügbar		2000000170138

Regale von HOMEBRANCH: Max-Planck-Institut für Informatik durchstöbern, Standort: Series (GF), Sammlung: Campusbibliothek für Informatik und Mathematik (E2 3) Regalbrowser ausblenden (Regal ausblenden)

Zurück								Weiter
Zurück	LNCS 215 Mathematical methods of specification and synthesis of software systems '85 proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22 - 26, 1985	LNCS 2150 Parallel processing 7th International Euro-Par Conference, Manchester, UK, August 28 - 31, 2001 ; proceedings	LNCS 2151 Advances in databases and information systems 5th East European conference ; Vilnius, Lithuania, September 25 - 28, 2001 ; proceedings	LNCS 2152 Theorem proving in higher order logics 14th international conference, Edinburgh, Scotland UK, September 3 - 6, 2001 ; proceedings	LNCS 2153 Algorithm engineering and experimentation third international workshop, Washington, DC, USA, January 5 - 6, 2001 ; revised papers	LNCS 2154 Concurrency theory 12th international conference, Aalborg, Denmark, August 20-25, 2001 ; proceedings	LNCS 2156 Quality of future Internet services second COST 263 international workshop, Coimbra, Portugal, September 24-26, 2001 ; proceedings	Weiter

Boulton, Richard J.: Theorem Proving in Higher Order Logics

Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31