登入選單
Google圖書搜尋
An Epistemological Science of Commonsense
作者
Fausto Giunchiglia / Istituto trentino di cultura. Istituto per la ricerca scientifica e tecnologica
出版1995
ISBN
OCLC:607587548
Semantic Web Information Management
作者
Roberto de Virgilio / Fausto Giunchiglia / Letizia Tanca
出版Springer Science & Business Media, 2010-01-08
ISBN
9783642043291 / 3642043291
主題
Computers
Agent-Oriented Software Engineering III
作者
Fausto Giunchiglia / James Odell / Gerhard Weiss
出版2014-01-15
ISBN
3662183560 / 9783662183564
Agent-Oriented Software Engineering III
作者
Fausto Giunchiglia / James Odell / Gerhard Weiß
出版Springer Science & Business Media, 2003-02-25
ISBN
9783540007135 / 354000713X
主題
Computers
S-Match
出版2005
ISBN
OCLC:1184376316
Artificial Intelligence
作者
Fausto Giunchiglia
出版2014-01-15
ISBN
3662172534 / 9783662172537
Reasoning about Acting, Sensing and Failure Handli...
作者
Paolo Traverso
出版1995
ISBN
OCLC:257886211
A New Method for Testing Decision Procedures in Mo...
作者
Fausto Giunchiglia / Marco Roverini / Roberto Sebastiani
出版1996
ISBN
OCLC:258199690
Reflective Reasoning with and Between a Declarativ...
作者
Fausto Giunchiglia / Paolo Traverso / Istituto trentino di cultura. Istituto per la ricerca scientifica e tecnologica
出版1990
ISBN
OCLC:475819648
Bidirectional Reasoning
作者
Alessandro Agostini / Fausto Giunchiglia / Istituto trentino di cultura. Istituto per la ricerca scientifica e tecnologica
出版1995
ISBN
OCLC:607587552
Multilanguage First Order Theories of Propositiona...
作者
Fausto Giunchiglia / Luciano Serafini
出版1990
ISBN
OCLC:475819674
Reflection in Constructive and Non-constructive Au...
作者
Fausto Giunchiglia / Alan Smaill
出版1988
ISBN
OCLC:18572392
主題
Artificial intelligence
Using Abstractions
作者
Fausto Giunchiglia / Toby Walsh / University of Edinburgh. Department of Artificial Intelligence
出版1991
ISBN
OCLC:606034231
On Tautology Decision Techniques
作者
A. Armando / Fausto Giunchiglia
出版1989
ISBN
OCLC:475819705
Building Complex Derived Inference Rules
作者
Fausto Giunchiglia / Enrico Giunchiglia
出版1988
ISBN
OCLC:17842629
主題
Decidability (Mathematical logic)
Object Configuration by Incremental Ill-described ...
作者
Fausto Giunchiglia / University of Edinburgh. Department of Artificial Intelligence / Emanuele Trucco
出版1988
ISBN
OCLC:18756454
主題
Artificial intelligence
Abstract Theorem Proving
作者
Fausto Giunchiglia / Toby Walsh
出版1989
ISBN
OCLC:1069051999
主題
Information theory
Abstracting Into Inconsistent Spaces
作者
Fausto Giunchiglia / Toby Walsh
出版1990
ISBN
OCLC:123330119
主題
Abstraction
Theorem Proving with Definitions
作者
F. Giunchiglia / University of Edinburgh. Department of Artificial Intelligence / T. Walsh
出版1989
ISBN
OCLC:26250616
主題
Computer software
Using Abstraction
作者
Fausto Giunchiglia / Toby Walsh
出版1990
ISBN
OCLC:24437336
主題
Abstraction
Abstract theorem proving
作者
Fausto Giunchiglia / Toby Walsh / University of Edinburgh. Department of Artificial Intelligence
出版1991
ISBN
OCLC:28162588
主題
Automatic theorem proving
A Theory of Abstraction
作者
Fausto Giunchiglia / Toby Walsh
出版1990
ISBN
OCLC:24437331
主題
Abstraction
Reasoning Theories: Towards an Architecture for Op...
作者
Stanford University. Computer Science Department / Fausto Giunchiglia / Paolo Pecchiari / Carolyn Talcott
出版1994
ISBN
OCLC:728087193
The Use of Abstraction in Automatic Inference
作者
F. Giunchiglia / University of Edinburgh. Department of Artificial Intelligence / T. Walsh
出版1990
ISBN
OCLC:22609724
主題
Abstraction
Building Abstractions
作者
Alan Bundy / Fausto Giunchiglia / Toby Walsh
出版1990
ISBN
OCLC:25650458
主題
Abstraction
Automating Meta-theory Creation and System Extensi...
作者
David A. Basin / Fausto Giunchiglia / Paolo Traverso
出版1991
ISBN
OCLC:25783781
主題
Automatic theorem proving
On Tautology Decision Techniques: Complexity and I...
作者
A. Armando / F. Giunchiglia
出版1989
ISBN
OCLC:897665460
MobiQuitous 2004
作者
Imrich Chlamtac / Fausto Giunchiglia
出版Institute of Electrical & Electronics Engineers(IEEE), 2004-01-01
ISBN
0769522084 / 9780769522081
主題
Mobile computing
Agent-Oriented Software Engineering III
作者
Fausto Giunchiglia / James Odell / Gerhard Weiß
出版Springer Science & Business Media, 2003-02-25
ISBN
9783540007135 / 354000713X
主題
Computers
Corrado Govoni
作者
Fausto Curi
出版1964
ISBN
UCAL:$B738657
主題
Govoni, Corrado, 1884