Ein zeitlogisches 1-Clausen-Verfahren und Vorstellung der Dissertation von Yoav Shoham mit dem Thema "Reasoning about change":
Gespeichert in:
Bibliographische Detailangaben
Beteiligte Personen: Thelen, Ralf (VerfasserIn), Vogel, Thomas (VerfasserIn)
Format: Buch
Sprache:Nichtbestimmte Sprache
Veröffentlicht: Bonn Inst. f. Informatik 1989
Schriftenreihe:Informatik-Berichte 72
Umfang:151 S.
Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik, Berichte

Bestandsangaben von Teilbibliothek Mathematik & Informatik, Berichte
Signatur: 0111 2001 B 6015-72
Lageplan
Exemplar 1 Ausleihbar Am Standort