Normale Ansicht MARC ISBD

Higher order logic theorem proving and its applications 7th international workshop, Valletta, Malta, September 19 - 22, 1994 ; proceedings Thomas F. Melham ... (eds.)

Mitwirkende(r):

Materialtyp: Text

TextSprache: Englisch Reihen: ; 85900 | Lecture notes in computer science ; 859Verlag: Berlin Heidelberg [u.a.] Springer 1994Beschreibung: IX, 470 S. graph. Darst. 24 cmInhaltstyp:

Text

Medientyp:

ohne Hilfsmittel zu benutzen

Datenträgertyp:

Band

ISBN:

0387584501
3540584501

Patentinformation: 272028185Schlagwörter:

Genre/Form:

Andere physische Formen: Online-Ausg.: Higher order logic theorem proving and its applications; Erscheint auch als: Higher Order Logic Theorem Proving and Its ApplicationsLOC-Klassifikation:

QA76.9.A96

Andere Klassifikation:

SS 4800
*00B25
68-06
68T15
54.10

Online-Ressourcen:

Bearbeitungsvermerk:

Archivierung/Langzeitarchivierung gewährleistet PEBW

Andere Ausgaben: Erscheint auch als (Online-Ausgabe): / Melham, Thomas F.: Higher Order Logic Theorem Proving and Its Applications; Online-Ausg.: / Higher order logic theorem proving and its applications

Exemplare ( 1 )
Titelinformationen ( 4 )

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 859 (Regal durchstöbern(Öffnet sich unterhalb))	Verfügbar		2000000007625

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 856 Database and expert systems applications 5th International Conference, Athens, Greece, September 7 - 9, 1994, proceedings	LNCS 857 Distributed algorithms proceedings	LNCS 858 Object-oriented methodologies and systems international symposium, ISOOMS '94 ; Palermo, Italy, September 21 - 22, 1994 ; proceedings	LNCS 859 Higher order logic theorem proving and its applications 7th international workshop, Valletta, Malta, September 19 - 22, 1994 ; proceedings	LNCS 86 Abstract software specifications 1979 Copenhagen Winter School, jan. 22 - febr. 2, 1979; proceedings	LNCS 860 Computers for handicapped persons 4th international conference, ICCHP '94, Vienna, Austria, September 14 - 16, 1994 ; proceedings	LNCS 863 Formal techniques in real time and fault tolerant systems Third International Symposium, organized jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19 - 23, 1994, proceedings	Weiter

Literaturangaben

Higher order logic theorem proving and its applications

Melham, Thomas F.: Higher Order Logic Theorem Proving and Its Applications

Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31