కీలక పదాల శోధన

  • 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
9
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
ఫైల్:
PDF, 1.73 MB
0 / 0
2008
10
Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligationes (Logic, Epistemology, and the Unity of Science (7))

Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligationes (Logic, Epistemology, and the Unity of Science (7))

Dutilh Novaes, Catarina
సంవత్సరం:
2007
భాష:
english
ఫైల్:
PDF, 1.73 MB
0 / 0
english, 2007
11
Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligationes (Logic, Epistemology, and the Unity of Science (7))

Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligationes (Logic, Epistemology, and the Unity of Science (7))

Dutilh Novaes, Catarina
సంవత్సరం:
2007
భాష:
english
ఫైల్:
LIT , 361 KB
0 / 0
english, 2007
12
Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligationes (Logic, Epistemology, and the Unity of Science (7))

Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligationes (Logic, Epistemology, and the Unity of Science (7))

Dutilh Novaes, Catarina
సంవత్సరం:
2007
భాష:
english
ఫైల్:
MOBI , 650 KB
0 / 0
english, 2007
13
Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligationes (Logic, Epistemology, and the Unity of Science (7))

Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligationes (Logic, Epistemology, and the Unity of Science (7))

Dutilh Novaes, Catarina
సంవత్సరం:
2007
భాష:
english
ఫైల్:
AZW3 , 728 KB
0 / 0
english, 2007
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
15
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
ఫైల్:
PDF, 1.73 MB
0 / 0
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
20
The Generic Development Language Deva: Presentation and Case Studies

The Generic Development Language Deva: Presentation and Case Studies

Matthias Weber, Martin Simons, Christine Lafontaine (auth.)
సంవత్సరం:
1993
భాష:
english
ఫైల్:
DJVU, 1.48 MB
0 / 0
english, 1993
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
22
The Generic Development Language Deva: Presentation and Case Studies

The Generic Development Language Deva: Presentation and Case Studies

Matthias Weber, Martin Simons, Christine Lafontaine (auth.)
సంవత్సరం:
1993
భాష:
english
ఫైల్:
PDF, 10.85 MB
0 / 0
english, 1993
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
27
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
ఫైల్:
PDF, 1012 KB
0 / 0
english, 2017
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
29
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki
సంవత్సరం:
2021
భాష:
english
ఫైల్:
EPUB, 6.02 MB
0 / 0
english, 2021
30
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki
సంవత్సరం:
2021
భాష:
english
ఫైల్:
PDF, 2.12 MB
0 / 0
english, 2021
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