Forward (Englisch)
- Neue Suche nach: Golumbic, M. C.
- Neue Suche nach: Golumbic, M. C.
In:
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
;
61
, 1
;
1-2
;
2011
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:Forward
-
Beteiligte:Golumbic, M. C. ( Autor:in )
-
Erschienen in:ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE ; 61, 1 ; 1-2
-
Verlag:
- Neue Suche nach: Springer Science + Business Media
-
Erscheinungsort:Springer Science + Business Media
-
Erscheinungsdatum:01.01.2011
-
Format / Umfang:2 pages
-
ISSN:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 006.3
- Weitere Informationen zu Dewey Decimal Classification
-
Klassifikation:
DDC: 006.3 -
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis – Band 61, Ausgabe 1
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
ForwardGolumbic, Martin Charles et al. | 2011
- 3
-
Automated theorem provers: a practical tool for the working mathematician?Bundy, Alan et al. | 2011
- 15
-
Where logic and agents meetDix, Jürgen / Fisher, Michael et al. | 2011
- 29
-
The algorithmization of counterfactualsPearl, Judea et al. | 2011
- 41
-
Remarks on the future of AI: machines and communicationRichter, Michael M. / von Mammen, Sebastian et al. | 2011