登入選單
Google圖書搜尋
Precomas Challenge
作者
Marta Franova
出版1987
ISBN
OCLC:22512971
Precomas Userś Guide
作者
Marta Franova
出版1989
ISBN
OCLC:21911997
主題
Automatic theorem proving
A Theory of Constructible Domains
作者
Marta Fraňová
出版1995
ISBN
OCLC:33597498
Explanations Provided by Constructive Matching in ...
作者
Marta Franova
出版1989
ISBN
OCLC:24489658
主題
Automatic theorem proving
PRECOMAS User's Guide
作者
Marta Franova
出版1987
ISBN
OCLC:475883580
A Synthesis of a Definition Recursive with Respect...
作者
Marta Fraňová
出版1995
ISBN
OCLC:33597494
主題
Automatic theorem proving
CM-strategy
作者
Marta Franova
出版1985
ISBN
OCLC:26938183
Program Synthesis, what for ?
作者
Yves Kodratoff
出版1989
ISBN
OCLC:21882302
主題
Artificial intelligence
Synthesis of Formal Specifications of Predicates
作者
Marta Fraňová / Lubomir Popelinsky
出版1993
ISBN
OCLC:32331903
主題
Artificial intelligence
A Standard Proof by Constructive Matching Methodol...
作者
Marta Fraňová
出版1995
ISBN
OCLC:33597490
主題
Automatic theorem proving
Constructive Matching Methodology
作者
Marta Franova
出版1991
ISBN
OCLC:24489711
主題
Automatic theorem proving
Constructive Matching Methology
出版1995
ISBN
OCLC:930872210
Constructive Matching Methodology: a Standard Way ...
作者
M. Franova
出版1995
ISBN
OCLC:897860494
Simplifying Implications in Inductive Theorem Prov...
作者
Marta Franova / Yves Kodratoff
出版1992
ISBN
OCLC:28011028
主題
Automatic theorem proving
Practical Problems in the Automatization of Induct...
作者
Marta Fraňová / Yves Kodratoff
出版1992
ISBN
OCLC:26644605
主題
Automatic theorem proving
Constructive Matching Methodology and Automatic Pl...
作者
Marta Fraňová
出版1993
ISBN
OCLC:35808909
Fundamentals of a new methodology for program synt...
作者
Marta Fraňová
出版1988
ISBN
OCLC:47043745
主題
Automatic theorem proving
Predicate Synthesis from Formal Specifications
作者
Marta Fraňov'a / Yves Kodratoff
出版1992
ISBN
OCLC:26977339
主題
Machine learning
A Constructive Proof for Prime Factorization Theor...
作者
Marta Franova
出版1992
ISBN
OCLC:27251247
主題
Automatic theorem proving
Why are We (almost Always) Able to Prove Inductive...
作者
Marta Franova
出版1987
ISBN
OCLC:16920842
主題
Artificial intelligence
Créativité formelle : méthode et pratique
作者
Marta Franova
出版Editions Publibook, 2008
ISBN
9782748345629 / 2748345622
主題
Computer systems
La “folie” de la Vérité et la conception des systè...
作者
Marta Franova
出版2005
ISBN
OCLC:255248832
Les principes essentiels d'une méthodologie nouvel...
作者
Marta Franova
出版1988
ISBN
OCLC:490296787
La "folie" de Brunelleschi et la conception des sy...
作者
Marta Fraňová
出版2003
ISBN
OCLC:249072461