Normale Ansicht MARC ISBD

Proceedings 8 Oxford, England, July 27 - Aug. 1, 1986

Mitwirkende(r):

Materialtyp: Text

TextSprache: Englisch Reihen: ; 230 | Lecture notes in computer science ; 230Gesamtaufnahme: ProceedingsVerlag: 1986Inhaltstyp:

Medientyp:

Datenträgertyp:

ISBN:

Genre/Form:

Andere physische Formen: Online-Ausg.: 8th International Conference on Automated DeductionDDC-Klassifikation:

Andere Klassifikation:

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

Zurück								Weiter
Zurück	LNCS 2297 Algebraic and coalgebraic methods in the mathematics of program construction international summer school and workshop, Oxford, UK, April 10 - 14, 2000 ; revised lectures	LNCS 2299 Trends in network and pervasive computing ARCS 2002, International Conference on Architecture of Computing Systems, Karlsruhe, Germany, April 8 - 12, 2002 ; proceedings	LNCS 23 Programming methodology 4th Informatik Symposium, IBM Germany, Wildbad, September 25 - 27, 1974	LNCS 230 Proceedings 8 Oxford, England, July 27 - Aug. 1, 1986	LNCS 2300 Formal and natural computing essays dedicated to Grzegorz Rozenberg	LNCS 2301 Discrete geometry for computer imagery 10th international conference; proceedings	LNCS 2303 Foundations of software science and computation structures 5th international conference ; proceedings	Weiter

Siekmann, Jörg H.: 8th International Conference on Automated Deduction