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: auRef=001259547



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/550791809
Titel ... Conference on Automated Deduction
Organisation(en) Conference on Automated Deduction (Verfasser)
Verlag Berlin ; Heidelberg ; New York : Springer
Umfang/Format 25 cm
Anmerkungen 5 angezeigt u.d.T.: Conference on Automated Deduction <05, 1980, LesArcs>: Fifth Conference on Automated Deduction
Schlagwörter Theorembeweisen <Kybern.>
Sachgruppe(n) 28 Informatik, Datenverarbeitung
Zugehörige Bände 1 Publikation
  1. ... Conference on Automated Deduction / 6. New York, USA, June 7 - 9, 1982
    1982





Treffer 1 von 1
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration