登入選單
Google圖書搜尋
Artificial Intelligence Techniques
作者
Alan Bundy
出版1996-12-16
ISBN
3642603602 / 9783642603600
Catalogue of Artificial Intelligence Tools
作者
Alan Bundy
出版2014-01-15
ISBN
3642969658 / 9783642969652
Can Theorem Proving Keep the Planes Flying?
作者
Alan Bundy
出版1993
ISBN
OCLC:31445703
主題
Automated theorem proving
Artificial Intelligence Techniques
作者
Alan Bundy
出版Springer, 1997
ISBN
UOM:39015041046593
主題
Computers
Proof Planning
作者
Alan Bundy / University of Edinburgh. Department of Artificial Intelligence
出版1998
ISBN
OCLC:40519211
主題
Automatic theorem proving
Catalogue of Artificial Intelligence Techniques
作者
Alan Bundy
出版Springer, 1990
ISBN
PSU:000017490085
主題
Computers
Discovery and Reasoning in Mathematics
作者
Alan Bundy
出版1985
ISBN
OCLC:17400562
主題
Learning by discovery
Proof Analysis
作者
Alan Bundy / University of Edinburgh. Department of Artificial Intelligence
出版1983
ISBN
OCLC:11773275
主題
Automatic theorem proving
Rippling: Meta-Level Guidance for Mathematical Rea...
作者
Alan Bundy
出版Cambridge University Press, 2005-06-30
ISBN
052183449X / 9780521834490
主題
Computers
Analysing Mathematical Proofs (or Reading Between ...
作者
University of Edinburgh. Department of Artificial Intelligence / A. Bundy
出版1975
ISBN
OCLC:476060119
The Automation of Proof by Mathematical Induction
作者
Alan Bundy / University of Edinburgh. Department of Artificial Intelligence
出版1998
ISBN
OCLC:45525789
主題
Computer software
Artificial Mathematicians
作者
Alan Bundy
出版1981
ISBN
OCLC:606038942
主題
Mathematics
Meta-level Inference in Algebra
作者
Alan Bundy / Leon Sterling
出版1985
ISBN
LCCN:gb86009503
主題
Artificial intelligence
Productive Use of Failure in Inductive Proof
作者
A. Ireland / University of Edinburgh. Department of Artificial Intelligence / A. Bundy
出版1994
ISBN
OCLC:60242500
主題
Computer software
Artificial Intelligence: Art Or Science?
作者
A. Bundy / University of Edinburgh. Department of Artificial Intelligence
出版1988
ISBN
OCLC:17842654
主題
Artificial intelligence
Automatic Verification of Functions with Accumulat...
作者
Andrew Ireland / Alan Bundy / University of Edinburgh. Department of Artificial Intelligence
出版1998
ISBN
OCLC:40519218
主題
Automatic theorem proving
The Impress Proof Plan Revisited
作者
Alan Bundy / University of Edinburgh. Department of Artificial Intelligence
出版1983
ISBN
OCLC:606020748
Verification of Diagrammatic Proofs
作者
Mateja Jamnik / Alan Bundy / Ian Green / University of Edinburgh. Department of Artificial Intelligence
出版1998
ISBN
OCLC:45525590
主題
Bionics
How to Solve it by Induction
作者
Alan Bundy
出版1992
ISBN
OCLC:30863557
主題
Automatic programming (Computer science)
Commentary on
作者
Richard Fatemen
出版1988
ISBN
OCLC:475899923
主題
Computer programs
Proving Properties of Logic Programs
作者
Alan Bundy / Lincoln A. Wallen
出版1986
ISBN
OCLC:15927683
主題
Computer programming
AI 1 Problem Solving Notes
作者
Alan Bundy / University of Edinburgh. Department of Artificial Intelligence
出版1983
ISBN
OCLC:11803950
主題
Artificial intelligence
All Natural Language Notes
作者
Alan Bundy
出版1981
ISBN
OCLC:810842513
Clear Thinking about Artificial Intelligence
作者
Alan Bundy
出版1992
ISBN
OCLC:31223356
主題
Artificial intelligence
Homogenization
作者
Bernard Silver / Alan Bundy / University of Edinburgh. Department of Artificial Intelligence
出版1981
ISBN
OCLC:35376766
主題
Mathematics
An Adaption of Proof-planning to Declarer Play in ...
作者
Ian Frank
出版1992
ISBN
OCLC:843004143
主題
Bionics
Proof Planning and Configuration
作者
Helen Lowe / Michal Pěchouček / University of Edinburgh. Department of Artificial Intelligence / Alan Bundy
出版1997
ISBN
OCLC:38860639
主題
Artificial intelligence
AI1 Natural Language Notes
作者
Alan Bundy
出版1979
ISBN
OCLC:606116724
主題
Artificial intelligence
A Rational Reconstruction of Incidence Calculus
作者
Flavio S. Correa da Silva / Alan Bundy
出版1991
ISBN
OCLC:25783812
主題
Calculus
An Analytical Comparison of Some Rule Learning Pro...
作者
Alan Bundy / Bernard Silver / Dave Plummer
出版1984
ISBN
LCCN:gb85027089
主題
Artificial intelligence