Katalog der Deutschen Nationalbibliothek

Neuigkeiten Aktuell kommt es bei einigen unserer Dienste zu technischen Störungen. Wir arbeiten daran, das Problem zu lösen.
 
Neuigkeiten Die Deutsche Nationalbibliothek in Frankfurt am Main ist an Fronleichnam, Donnerstag, 4. Juni 2026 geschlossen. // The German National Library in Frankfurt am Main will be closed on Thursday, 4 June 2026 due to a public holiday (Fronleichnam).
 
Neuigkeiten Mittwoch, den 10. Juni 2026 öffnen die Lesesäle der Deutschen Nationalbibliothek in Leipzig erst ab 13 Uhr. // On Wednesday 10 June 2026 The German National Library in Leipzig will not open until 13:00.
 
 

Ergebnis der Suche nach: dce=006.3

Zurück zur Trefferliste


Treffer 1349 von 1356 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/972223983
Art des Inhalts Hochschulschrift
Titel Proof planning with multiple strategies / Andreas Meier
Person(en) Meier, Andreas (Verfasser)
Zeitliche Einordnung Erscheinungsdatum: 2004
Umfang/Format VI, 267 S. : Ill., graph. Darst. ; 30 cm
Andere Ausgabe(n) Erscheint auch als Online-Ausgabe: Meier, Andreas: Proof planning with multiple strategies
Hochschulschrift Saarbrücken, Univ., Diss., 2004
Sprache(n) Englisch (eng)
Schlagwörter Automatisches Beweisverfahren ; Blackboard <Expertensystem>
DDC-Notation 511.36028563 [DDC22ger]
Sachgruppe(n) 004 Informatik ; 510 Mathematik
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: 2005 B 5658
Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.]
Bereitstellung in Frankfurt
Leipzig Signatur: 2004 B 22095
Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.]
Bereitstellung in Leipzig




Treffer 1349 von 1356
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration