Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: tit all "Deduktionssysteme: Automatisierung des logischen Denkens"



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/920578071
Titel Deduktionssysteme : Automatisierung des logischen Denkens / hrsg. von K. H. Bläsius und H.-J. Bürckert. Mit Beitr. von K. H. Bläsius ...
Person(en) Bläsius, Karl Hans (Herausgeber)
Ausgabe 2., völlig überarb. und erw. Aufl.
Verlag München ; Wien : Oldenbourg
Zeitliche Einordnung Erscheinungsdatum: 1992
Umfang/Format VIII, 290 S. : graph. Darst. ; 24 cm
ISBN/Einband/Preis 978-3-486-22033-9 kart.
3-486-22033-0 kart.
Sprache(n) Deutsch (ger)
Anmerkungen Literaturangaben
Schlagwörter Deduktionssystem
Sachgruppe(n) 28 Informatik, Datenverarbeitung
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: D 92/24194
Bereitstellung in Frankfurt
Leipzig Signatur: 1992 A 9980
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <




Aktionen

Aktionen





E-Mail-IconAdministration