Foreword to the Special Issue on Automated Reasoning (Englisch)
- Neue Suche nach: Fontaine, Pascal
- Neue Suche nach: Kaliszyk, Cezary
- Neue Suche nach: Schulz, Stephan
- Neue Suche nach: Urban, Josef
- Neue Suche nach: Fontaine, Pascal
- Neue Suche nach: Kaliszyk, Cezary
- Neue Suche nach: Schulz, Stephan
- Neue Suche nach: Urban, Josef
- Neue Suche nach: Fontaine, Pascal
- Neue Suche nach: Kaliszyk, Cezary
- Neue Suche nach: Schulz, Stephan
- Neue Suche nach: Urban, Josef
In:
AI Communications
;
31
, 3
;
235-236
;
2018
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:Foreword to the Special Issue on Automated Reasoning
-
Beteiligte:Fontaine, Pascal / Kaliszyk, Cezary / Schulz, Stephan / Urban, Josef / Fontaine, Pascal ( Autor:in ) / Kaliszyk, Cezary ( Autor:in ) / Schulz, Stephan ( Autor:in ) / Urban, Josef ( Autor:in )
-
Erschienen in:AI Communications ; 31, 3 ; 235-236
-
Verlag:
- Neue Suche nach: IOS Press
-
Erscheinungsort:Amsterdam, The Netherlands
-
Erscheinungsdatum:24.04.2018
-
Format / Umfang:2 pages
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis – Band 31, Ausgabe 3
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.
- 235
-
Foreword to the Special Issue on Automated ReasoningFontaine, Pascal / Kaliszyk, Cezary / Schulz, Stephan / Urban, Josef et al. | 2018
- 237
-
Hierarchical invention of theorem proving strategiesJakubův, Jan / Urban, Josef et al. | 2018
- 251
-
Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1Matsuzaki, Takuya / Iwane, Hidenao / Kobayashi, Munehiro / Zhan, Yiyang / Fukasaku, Ryoya / Kudo, Jumma / Anai, Hirokazu / Arai, Noriko H. et al. | 2018
- 267
-
Towards backbone computing: A Greedy-Whitening based approachZhang, Yueling / Zhang, Min / Pu, Geguang / Song, Fu / Li, Jianwen et al. | 2018
- 281
-
Programming and verifying a declarative first-order prover in Isabelle/HOLJensen, Alexander Birch / Larsen, John Bruntse / Schlichtkrull, Anders / Villadsen, Jørgen et al. | 2018
- 303
-
Consensus-finding that preserves mutually conflicting hypothetical information from a same agentGrégoire, Éric / Lagniez, Jean-Marie / Zhang, Du et al. | 2017