Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: "Max" and "Planck"

Zurück zur Trefferliste


Treffer 52 von 7806 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/942250699
Titel Computer support for the development and investigation of logics / Hans Jürgen Ohlbach. [Max-Planck-Institut für Informatik]
Person(en) Ohlbach, Hans Jürgen (Verfasser)
Verlag Saarbrücken : MPI Informatik
Zeitliche Einordnung Erscheinungsdatum: [1994]
Umfang/Format 20 S. : graph. Darst. ; 30 cm
ISBN/Einband/Preis kart.
Identifikationsnummern Reportnummer: MPI I 94 228
Anmerkungen Literaturverz. S. 19 - [21]
Status nach VGG: vergriffen
Sachgruppe(n) 28 Informatik, Datenverarbeitung
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: 1994 B 15664
Bereitstellung in Frankfurt
Leipzig Signatur: 1994 B 15664
Bereitstellung in Leipzig




Treffer 52 von 7806
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration