Yazar

Mateja Jamnik

20 cilt bulundu.

Cilt sonuçları

Mateja Jamnik · Stanford Univ Center for the Study

204 sayfa · 2001-01

Mathematics

BionicsVerification of Diagrammatic ProofsMateja Jamnik, Alan Bundy, Ian Green, University of Edinburgh. Department of Artificial Intelligence

Verification of Diagrammatic Proofs

Mateja Jamnik, Alan Bundy, Ian Green, University of Edinburgh. Department of Artificial Intelligence · Yayınevi bilinmiyor

8 sayfa · 1998

Bionics

Automatic theorem provingAutomation of Diagrammatic Proofs in MathematicsM. Jamnik, University of Edinburgh. Department of Artificial Intelligence, A. Bundy, I. Green

Automation of Diagrammatic Proofs in Mathematics

M. Jamnik, University of Edinburgh. Department of Artificial Intelligence, A. Bundy, I. Green · Yayınevi bilinmiyor

9 sayfa · 1996

Automatic theorem proving

CiltTerapevtska masaža in nosečnostMateja Jamnik, Gabriela Gaber

Terapevtska masaža in nosečnost

Mateja Jamnik, Gabriela Gaber · Yayınevi bilinmiyor

72 sayfa · 2004

Kategori yok

CiltDiagrammatic Reasoning SystemsMateja Jamnik, University of Edinburgh. Department of Artificial Intelligence

Diagrammatic Reasoning Systems

Mateja Jamnik, University of Edinburgh. Department of Artificial Intelligence · Yayınevi bilinmiyor

19 sayfa · 1996

Kategori yok

MathematicsAnalogy and Automated ReasoningMateja Jamnik, University of Birmingham. Cognitive Science Research Centre

Analogy and Automated Reasoning

Mateja Jamnik, University of Birmingham. Cognitive Science Research Centre · Yayınevi bilinmiyor

Sayfa sayısı yok · 1999

Mathematics

Automatic theorem provingAutomation of Diagrammatic ReasoningMateja Jamnik, Alan Bundy, Ian Green, University of Edinburgh. Department of Artificial Intelligence

Automation of Diagrammatic Reasoning

Mateja Jamnik, Alan Bundy, Ian Green, University of Edinburgh. Department of Artificial Intelligence · Yayınevi bilinmiyor

7 sayfa · 1997

Automatic theorem proving

Artificial intelligenceLearning method outlines in proof planningMateja Jamnik, Manfred Kerber, Christoph Benzmüller

Learning method outlines in proof planning

Mateja Jamnik, Manfred Kerber, Christoph Benzmüller · Yayınevi bilinmiyor

Sayfa sayısı yok · 2001

Artificial intelligence

BionicsAutomating Diagrammatic Proofs of Arithmetic ArgumentsMateja Jamnik, Alan Bundy, Ian Green, University of Edinburgh. Department of Artificial Intelligence

Automating Diagrammatic Proofs of Arithmetic Arguments

Mateja Jamnik, Alan Bundy, Ian Green, · Yayınevi bilinmiyor

Artificial intelligenceTowards learning new methods in proof planningMateja Jamnik, Manfred Kerber, Christoph Benzmüller

Towards learning new methods in proof planning

Mateja Jamnik, Manfred Kerber, Christoph Benzmüller · Yayınevi bilinmiyor

Sayfa sayısı yok · 2000

Artificial intelligence

CiltNaloga mislecaMateja Jamnik, Tine Hribar

Naloga misleca

Mateja Jamnik, Tine Hribar · Yayınevi bilinmiyor

168 sayfa · 2009

Kategori yok

CiltŠtudijski krožki kot prispevek k razvoju lokalne skupnostiNevenka 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

Študijski krožki kot prispevek k razvoju lokalne skupnosti

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, · Yayınevi bilinmiyor

CiltSimulation of the Flow in the Stationary Parts of TurbineMateja Jamnik, Sandi Cizelj, Boris Velenšek

Simulation of the Flow in the Stationary Parts of Turbine

Mateja Jamnik, Sandi Cizelj, Boris Velenšek · Yayınevi bilinmiyor

5 sayfa · 1996

Kategori yok

CiltTurbomachinery, 3D flow in singular stationary parts of the hydraulic machineBoris Velenšek, Andrej Lipej, Dragica Jošt, Mateja Jamnik

Turbomachinery, 3D flow in singular stationary parts of the hydraulic machine

Boris Velenšek, Andrej Lipej, Dragica Jošt, Mateja Jamnik · Yayınevi bilinmiyor

12 sayfa · 1996

Kategori yok

CiltBalkanization and brusselizationMateja Jamnik, Stephen Regoczei

Balkanization and brusselization

Mateja Jamnik, Stephen Regoczei · Yayınevi bilinmiyor

130 sayfa · 1994

Kategori yok

CiltPsihofiziološki učinki masažeMateja Jamnik, Gabriela Gaber, Jože Trček

Psihofiziološki učinki masaže

Mateja Jamnik, Gabriela Gaber, Jože Trček · Yayınevi bilinmiyor

50 sayfa · 1995

Kategori yok

CiltKralj Ašoka in budizemMateja Jamnik, Janez Marolt

Kralj Ašoka in budizem

Mateja Jamnik, Janez Marolt · Yayınevi bilinmiyor

252 sayfa · 2001

Kategori yok

CiltWord za WindowsMateja Jamnik

Word za Windows

Mateja Jamnik · Yayınevi bilinmiyor

32 sayfa · 2002

Kategori yok

CiltTok v brezlopatičnem območjuMateja Jamnik, Peter Vencelj

Tok v brezlopatičnem območju

Mateja Jamnik, Peter Vencelj · Yayınevi bilinmiyor

47 sayfa · 1989

Kategori yok

CiltRaziskava toka v spiralah Francisovih in Kaplanovih turbinMateja Jamnik, Dušan Florjančič, Matija Tuma, Boris Velenšek

Raziskava toka v spiralah Francisovih in Kaplanovih turbin

Mateja Jamnik, Dušan Florjančič, Matija Tuma, Boris Velenšek · Yayınevi bilinmiyor

140 sayfa · 1997

Kategori yok