핵심어 검색

  • Main
  • 핵심어 검색
1
Philosophy and Spacetime Physics

Philosophy and Spacetime Physics

Lawrence Sklar
년:
1985
언어:
english
파일:
PDF, 39.23 MB
0 / 2.5
english, 1985
2
Natural Deduction, Hybrid Systems and Modal Logics

Natural Deduction, Hybrid Systems and Modal Logics

Andrzej Indrzejczak
년:
2010
언어:
english
파일:
PDF, 2.12 MB
0 / 0
english, 2010
5
Z:\springer_dordrecht\production\dutilh\production\finals\appl\bm.dvi

Z:\springer_dordrecht\production\dutilh\production\finals\appl\bm.dvi

Peter Goode (Schlumberger) 4930 2002 Jun 12 15:43:16
년:
2008
언어:
spanish
파일:
AZW3 , 739 KB
0 / 0
spanish, 2008
6
Z:\springer_dordrecht\production\dutilh\production\finals\appl\bm.dvi

Z:\springer_dordrecht\production\dutilh\production\finals\appl\bm.dvi

Peter Goode (Schlumberger) 4930 2002 Jun 12 15:43:16
년:
2008
언어:
spanish
파일:
EPUB, 350 KB
0 / 0
spanish, 2008
7
Z:\springer_dordrecht\production\dutilh\production\finals\appl\bm.dvi

Z:\springer_dordrecht\production\dutilh\production\finals\appl\bm.dvi

Peter Goode (Schlumberger) 4930 2002 Jun 12 15:43:16
년:
2008
언어:
spanish
파일:
FB2 , 1.17 MB
0 / 0
spanish, 2008
8
Z:\springer_dordrecht\production\dutilh\production\finals\appl\bm.dvi

Z:\springer_dordrecht\production\dutilh\production\finals\appl\bm.dvi

Peter Goode (Schlumberger) 4930 2002 Jun 12 15:43:16
년:
2008
언어:
spanish
파일:
MOBI , 650 KB
0 / 0
spanish, 2008
14
Z:\springer_dordrecht\production\dutilh\production\finals\appl\bm.dvi

Z:\springer_dordrecht\production\dutilh\production\finals\appl\bm.dvi

Peter Goode (Schlumberger) 4930 2002 Jun 12 15:43:16
년:
2008
언어:
spanish
파일:
FB2 , 1.17 MB
0 / 0
spanish, 2008
16
Formalizing medieval logical theories: Suppositio, consequentiae and obligationes

Formalizing medieval logical theories: Suppositio, consequentiae and obligationes

Dutilh Novaes, Catarina
년:
2007
언어:
english
파일:
PDF, 1.19 MB
0 / 0
english, 2007
17
Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligationes

Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligationes

Catarina Dutilh Novaes
년:
2007
언어:
english
파일:
PDF, 1.78 MB
0 / 0
english, 2007
18
Agile Learning and Management in a Digital Age: Dialogic Leadership

Agile Learning and Management in a Digital Age: Dialogic Leadership

David Kergel, Birte Heidkamp-Kergel, Michael Paulsen, Hanne Nørreklit
년:
2022
언어:
english
파일:
PDF, 2.40 MB
0 / 0
english, 2022
19
Agile Learning and Management in a Digital Age

Agile Learning and Management in a Digital Age

David Kergel, Birte Heidkamp-Kergel, Hanne Norreklit, Michael Paulsen
년:
2022
언어:
english
파일:
PDF, 2.40 MB
0 / 5.0
english, 2022
21
Formalized Probability Theory and Applications Using Theorem Proving

Formalized Probability Theory and Applications Using Theorem Proving

Osman Hasan, Sofiène Tahar
년:
2015
언어:
english
파일:
PDF, 3.76 MB
0 / 0
english, 2015
23
The Seventeen Provers of the World: Foreword by Dana S. Scott

The Seventeen Provers of the World: Foreword by Dana S. Scott

Freek Wiedijk (auth.), Freek Wiedijk (eds.)
년:
2006
언어:
english
파일:
PDF, 2.16 MB
0 / 0
english, 2006
24
The Seventeen Provers of the World: Foreword by Dana S. Scott

The Seventeen Provers of the World: Foreword by Dana S. Scott

Freek Wiedijk (auth.), Freek Wiedijk (eds.)
년:
2006
언어:
english
파일:
PDF, 1.33 MB
0 / 0
english, 2006
25
The Seventeen Provers of the World: Foreword by Dana S. Scott

The Seventeen Provers of the World: Foreword by Dana S. Scott

Freek Wiedijk (auth.), Freek Wiedijk (eds.)
년:
2006
언어:
english
파일:
PDF, 1.33 MB
0 / 0
english, 2006
26
The Seventeen Provers of the World: Foreword by Dana S. Scott

The Seventeen Provers of the World: Foreword by Dana S. Scott

Freek Wiedijk (auth.), Freek Wiedijk (eds.)
년:
2006
언어:
english
파일:
PDF, 1.35 MB
0 / 0
english, 2006
28
Reflective Equilibrium and the Principles of Logical Analysis: Understanding the Laws of Logic

Reflective Equilibrium and the Principles of Logical Analysis: Understanding the Laws of Logic

Jaroslav Peregrin, Vladimír Svoboda
년:
2017
언어:
english
파일:
EPUB, 4.89 MB
0 / 0
english, 2017
31
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Ahmed, Asad, Hasan, Osman, Awwad, Falah, Bastaki, Nabil
년:
2021
언어:
english
파일:
EPUB, 6.02 MB
0 / 0
english, 2021
32
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Ahmed, Asad, Hasan, Osman, Awwad, Falah, Bastaki, Nabil
년:
2021
언어:
english
파일:
PDF, 2.12 MB
0 / 0
english, 2021
33
Advanced Computer Recognition of Aesthetics in the Game of Chess

Advanced Computer Recognition of Aesthetics in the Game of Chess

AZLAN IQBAL and MASHKURI YAACOB
언어:
english
파일:
PDF, 601 KB
0 / 0
english
34
Concreteness in Generative Phonology: Evidence from French

Concreteness in Generative Phonology: Evidence from French

Bernard Tranel
년:
1980
언어:
english
파일:
PDF, 30.30 MB
0 / 0
english, 1980