登入選單
Google圖書搜尋
Logic Programming and Automated Reasoning
作者
Andrei Voronkov
出版2014-01-15
ISBN
3662174138 / 9783662174135
Logic Programming
作者
Andrei Voronkov
出版Springer, 2014-03-12
ISBN
3662184532 / 9783662184530
主題
Mathematics
Logic Programming and Automated Reasoning
作者
Andrei Voronkov
出版Springer Science & Business Media, 1992-07
ISBN
354055727X / 9783540557272
主題
Computers
Logic Programming and Automated Reasoning
作者
Andrei Voronkov
出版Springer Science & Business Media, 1993-06-29
ISBN
3540569448 / 9783540569442
主題
Computers
Automated Deduction - CADE-18
作者
Andrei Voronkov
出版Springer Science & Business Media, 2002-07-17
ISBN
9783540439318 / 3540439315
主題
Computers
Logic for Programming, Artificial Intelligence, an...
作者
Moshe Vardi / Andrei Voronkov
出版Springer Science & Business Media, 2003-09-12
ISBN
9783540201014 / 3540201017
主題
Computers
Perspectives of System Informatics
作者
Andrei Voronkov / Irina Virbitskaite
出版2015
ISBN
3662468247 / 9783662468241
Logic Programming and Automated Reasoning
作者
Harald Ganzinger / David McAllester / Andrei Voronkov
出版Springer, 1999-08-25
ISBN
3540664920 / 9783540664925
主題
Computers
Logic for Programming, Artificial Intelligence, an...
出版2005
ISBN
OCLC:1170636377
主題
Artificial intelligence
By the Great Horn Spoon!
出版D C Heath & Company, 1995-01-01
ISBN
0669228567 / 9780669228564
主題
Juvenile Fiction
Logic Programming and Automated Reasoning
作者
Andrei Voronkov
出版Springer Science & Business Media, 1993-06-29
ISBN
3540569448 / 9783540569442
主題
Computers
Petersburg
作者
Andrei Bely
出版Penguin UK, 2011-08-25
ISBN
9780141968797 / 0141968796
主題
Fiction
Sorbent Deformation
作者
Andrei V. Tvardovskiy
出版Elsevier, 2006-09-25
ISBN
0080465943 / 9780080465944
主題
Science
The Glasnost Papers
作者
Andrei Melville / Gail W Lapidus
出版Routledge, 2019-07-11
ISBN
9781000301885 / 1000301885
主題
History
Magnetic Resonance and Its Applications
作者
Vladimir I. Chizhik / Yuri S. Chernyshev / Alexey V. Donets / Vyacheslav V. Frolov / Andrei V. Komolkin / Marina G. Shelyapina
出版Springer Science & Business Media, 2014-04-08
ISBN
9783319052991 / 3319052993
主題
Medical
Introduction to Structural Chemistry
作者
Stepan S. Batsanov / Andrei S. Batsanov
出版Springer Science & Business Media, 2012-11-29
ISBN
9789400747715 / 9400747713
主題
Medical
Stalingrad
作者
Andrei Ivanovich Eremenko
出版1964
ISBN
NWU:35556009440249
主題
Stalingrad, Battle of, 1942-1943