登入選單
Google圖書搜尋
Extracting Answers in Circumspection
作者
Nicolas Helft / K. Inoue / David Lynton Poole / Institute for New Generation Computer Technology
出版1990
ISBN
OCLC:605968647
A Note on Proof Procedures for Nonmonotonic Reason...
作者
Nicolas Helft / Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan) / Katsumi Inoue
出版1989
ISBN
OCLC:21951975
主題
Predicate (Logic)
Query Answering in Circumscription
作者
Nicolas Helft / Katsumi Inoue / Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan) / David Poole
出版1991
ISBN
OCLC:24995739
主題
Automatic theorem proving
Extracting Answers in Circumscription
作者
Nicolas Helft / Katsumi Inoue / Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan) / David L. Poole
出版1990
ISBN
OCLC:22697643
主題
Automatic theorem proving
On Theorem Provers for Circumscription
作者
Katsumi Inoue / Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan) / Nicolas Helft
出版1990
ISBN
OCLC:22495646
主題
Automatic theorem proving
Induction as Nonmonotonic Inference
作者
Nicolas Helft / Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan)
出版1989
ISBN
OCLC:23004292
主題
Induction (Logic)
A Pruning Condition for the Davis-Putnam Procedure
作者
Nicolas Helft / Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan)
出版1989
ISBN
OCLC:22711241
主題
Automatic theorem proving
Generaliser sans contre-exemple
作者
Nicolas Helft / Informatique et Mathématiques Appliquées de Grenoble
出版1987
ISBN
OCLC:606083543
'Historier' en 'peindre'. Poussin's opvattingen ov...
作者
Hans Willem van HELSDINGEN / Nicolas Poussin
出版1971
ISBN
OCLC:559383279
L'Induction en intelligence artificielle
作者
Nicolas Helft
出版1988
ISBN
OCLC:468762843
Reminiscences of Nicolas Chatelain
作者
Nicolas Chatelain
出版1961
ISBN
OCLC:309728993
主題
Journalists
Moje prve podobe
作者
Claude Helft
出版2000
ISBN
9616214187 / 9789616214186