登入選單
Google圖書搜尋
Mathematical Reasoning with Diagrams
作者
Mateja Jamnik
出版Stanford Univ Center for the Study, 2001-01
ISBN
1575863235 / 9781575863238
主題
Mathematics
Analogy and Automated Reasoning
作者
Mateja Jamnik / University of Birmingham. Cognitive Science Research Centre
出版1999
ISBN
OCLC:59429126
主題
Mathematics
Verification of Diagrammatic Proofs
作者
Mateja Jamnik / Alan Bundy / Ian Green / University of Edinburgh. Department of Artificial Intelligence
出版1998
ISBN
OCLC:45525590
主題
Bionics
Towards learning new methods in proof planning
作者
Mateja Jamnik / Manfred Kerber / Christoph Benzmüller
出版2000
ISBN
OCLC:59568340
主題
Artificial intelligence
Diagrammatic Reasoning Systems
作者
Mateja Jamnik / University of Edinburgh. Department of Artificial Intelligence
出版1996
ISBN
OCLC:606172163
Automating Diagrammatic Proofs of Arithmetic Argum...
作者
Mateja Jamnik / Alan Bundy / Ian Green / University of Edinburgh. Department of Artificial Intelligence
出版1998
ISBN
OCLC:606124581
主題
Bionics
Automation of Diagrammatic Reasoning
作者
Mateja Jamnik / Alan Bundy / Ian Green / University of Edinburgh. Department of Artificial Intelligence
出版1997
ISBN
OCLC:40519194
主題
Automatic theorem proving
Automation of Diagrammatic Proofs in Mathematics
作者
M. Jamnik / University of Edinburgh. Department of Artificial Intelligence / A. Bundy / I. Green
出版1996
ISBN
OCLC:37435109
主題
Automatic theorem proving
Learning method outlines in proof planning
作者
Mateja Jamnik / Manfred Kerber / Christoph Benzmüller
出版2001
ISBN
OCLC:59518799
主題
Artificial intelligence
Balkanization and brusselization
作者
Mateja Jamnik / Stephen Regoczei
出版1994
ISBN
OCLC:439901692
Simulation of the Flow in the Stationary Parts of ...
作者
Mateja Jamnik / Sandi Cizelj / Boris Velenšek
出版1996
ISBN
OCLC:455879119
Turbomachinery, 3D flow in singular stationary par...
作者
Boris Velenšek / Andrej Lipej / Dragica Jošt / Mateja Jamnik
出版1996
ISBN
OCLC:456289848
Naloga misleca
作者
Mateja Jamnik / Tine Hribar
出版2009
ISBN
OCLC:781206867
Psihofiziološki učinki masaže
作者
Mateja Jamnik / Gabriela Gaber / Jože Trček
出版1995
ISBN
OCLC:441118437
Raziskava toka v spiralah Francisovih in Kaplanovi...
作者
Mateja Jamnik / Dušan Florjančič / Matija Tuma / Boris Velenšek
出版1997
ISBN
OCLC:456210176
Analiza turbulentnega toka v spirali Francisove tu...
作者
Boris Velenšek / Mateja Jamnik / Andrej Lipej
出版1991
ISBN
OCLC:441013179
Tok v brezlopatičnem območju
作者
Mateja Jamnik / Peter Vencelj
出版1989
ISBN
OCLC:440066428
Word za Windows
作者
Mateja Jamnik
出版2002
ISBN
OCLC:813560141
Terorizem in njegove posledice
作者
Mateja Jamnik / Jaka Repič
出版2010
ISBN
OCLC:781227263
Kralj Ašoka in budizem
作者
Mateja Jamnik / Janez Marolt
出版2001
ISBN
OCLC:441662659
Realizacija učnih standardov pri pouku družbe v 4....
作者
Mateja Jamnik / Maja Umek
出版2008
ISBN
OCLC:437738732
Terapevtska masaža in nosečnost
作者
Mateja Jamnik / Gabriela Gaber
出版2004
ISBN
OCLC:455969969
Računalništvo in informatika
作者
Mateja Jamnik
出版2003
ISBN
OCLC:813560010
Optimalizacija spletnih strani
作者
Mitja Suvorov / Mateja Jamnik
出版2005
ISBN
OCLC:449665202
Vloga medicinske sestre pri pacientu s sladkorno b...
作者
Mateja Jamnik / Mojca Saje
出版2011
ISBN
OCLC:813657894
Študijski krožki kot prispevek k razvoju lokalne s...
作者
Nevenka Bogataj / Zvonka Pangerc Pahernik / Mateja Pečar / Jože Prah / Marija Imperl / Barba Štembergar Zupan / Dušanka Černalogar / Polona Kavčič / Darja Lahajnar / Jerneja Čoderl / Katja Roš / Nada Babič Ivaniš / Natalija Planinc / Polona Knific / Tatjana Dolžan Eržen / Tatjana Kavšek / Tatjana Gostiša / Zdenka Jamnik / Boštjan Škrlep
出版2013
ISBN
9619332814 / 9789619332818
Analiza turbulentnega toka v cevi z loputo in izra...
作者
Boris Velenšek / Mateja Jamnik / Andrej Lipej
出版1992
ISBN
OCLC:441012200
Vrednotenje odziva gozdnih ptic na oglašanje maleg...
作者
Mateja Jamnik (biologinja.)
出版2018
ISBN
OCLC:1090308469
Strokovne podlage za preprečevanje širjenja, vnosa...
作者
Luka Mrzelj / Valentina Pernat / Maša Panjan / Ana Celestina / Mateja Jamnik (biologinja.) / Diana Marguč / Vit Kukolja
出版2020
ISBN
OCLC:1456325297
Informacijska podpora ravnanju odnosov s strankami...
作者
Vesna Maček / Mateja Jamnik
出版2006
ISBN
OCLC:449666352