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 "Probabilistic Theorem Proving."



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1005431612
Titel Probabilistic Analysis using Theorem Proving : A Higher-order Logic Based Approach / Osman Hasan
Person(en) Hasan, Osman (Verfasser)
Verlag Saarbrücken : VDM Verlag Dr. Müller
Zeitliche Einordnung Erscheinungsdatum: 2008
Umfang/Format Online-Ressource
Persistent Identifier URN: urn:nbn:de:101:1-201008064402
URL http://www.vdm-verlag.de (Verlag)
ISBN/Einband/Preis 978-3-639-09472-5
Anmerkungen Lizenzpflichtig. - Vom Verlag als Druckwerk on demand angeboten
Sachgruppe(n) 620 Ingenieurwissenschaften und Maschinenbau

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration