Conditional and preferential logics proof methods and theorem proving /
Kaydedildi:
| Yazar: | |
|---|---|
| Müşterek Yazar: | |
| Materyal Türü: | Elektronik Ekitap |
| Dil: | İngilizce |
| Baskı/Yayın Bilgisi: |
Amsterdam :
IOS Press,
c2010.
|
| Konular: | |
| Online Erişim: | An electronic book accessible through the World Wide Web; click to view |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
Benzer Materyaller
Conditional and preferential logics proof methods and theorem proving /
Yazar:: Pozzato, Gian Luca
Baskı/Yayın Bilgisi: (2010)
Yazar:: Pozzato, Gian Luca
Baskı/Yayın Bilgisi: (2010)
The little prover /
Yazar:: Friedman, Daniel P., ve diğerleri
Baskı/Yayın Bilgisi: (2015)
Yazar:: Friedman, Daniel P., ve diğerleri
Baskı/Yayın Bilgisi: (2015)
The little prover /
Yazar:: Friedman, Daniel P., ve diğerleri
Baskı/Yayın Bilgisi: (2015)
Yazar:: Friedman, Daniel P., ve diğerleri
Baskı/Yayın Bilgisi: (2015)
Recent progress in the Boolean domain /
Baskı/Yayın Bilgisi: (2014)
Baskı/Yayın Bilgisi: (2014)
Recent progress in the Boolean domain /
Baskı/Yayın Bilgisi: (2014)
Baskı/Yayın Bilgisi: (2014)
Proof technology and computation
Baskı/Yayın Bilgisi: (2006)
Baskı/Yayın Bilgisi: (2006)
Proof technology and computation
Baskı/Yayın Bilgisi: (2006)
Baskı/Yayın Bilgisi: (2006)
Proof, logic, and formalization
Baskı/Yayın Bilgisi: (1992)
Baskı/Yayın Bilgisi: (1992)
Proof, logic, and formalization
Baskı/Yayın Bilgisi: (1992)
Baskı/Yayın Bilgisi: (1992)
Completeness theory for propositional logics
Yazar:: Pogorzelski, Witold, 1944-
Baskı/Yayın Bilgisi: (2008)
Yazar:: Pogorzelski, Witold, 1944-
Baskı/Yayın Bilgisi: (2008)
Completeness theory for propositional logics
Yazar:: Pogorzelski, Witold, 1944-
Baskı/Yayın Bilgisi: (2008)
Yazar:: Pogorzelski, Witold, 1944-
Baskı/Yayın Bilgisi: (2008)
Ways of proof theory
Yazar:: Schindler, Ralf
Baskı/Yayın Bilgisi: (2010)
Yazar:: Schindler, Ralf
Baskı/Yayın Bilgisi: (2010)
Ways of proof theory
Yazar:: Schindler, Ralf
Baskı/Yayın Bilgisi: (2010)
Yazar:: Schindler, Ralf
Baskı/Yayın Bilgisi: (2010)
The nuts and bolts of proofs
Yazar:: Cupillari, Antonella
Baskı/Yayın Bilgisi: (2005)
Yazar:: Cupillari, Antonella
Baskı/Yayın Bilgisi: (2005)
The nuts and bolts of proofs
Yazar:: Cupillari, Antonella
Baskı/Yayın Bilgisi: (2005)
Yazar:: Cupillari, Antonella
Baskı/Yayın Bilgisi: (2005)
Perspectives in logic logical foundations of proof complexity /
Yazar:: Cook, Stephen, 1948-
Baskı/Yayın Bilgisi: (2010)
Yazar:: Cook, Stephen, 1948-
Baskı/Yayın Bilgisi: (2010)
Perspectives in logic logical foundations of proof complexity /
Yazar:: Cook, Stephen, 1948-
Baskı/Yayın Bilgisi: (2010)
Yazar:: Cook, Stephen, 1948-
Baskı/Yayın Bilgisi: (2010)
Limit theorems for associated random fields and related systems
Yazar:: Bulinskiĭ, A. V. (Aleksandr Vadimovich)
Baskı/Yayın Bilgisi: (2007)
Yazar:: Bulinskiĭ, A. V. (Aleksandr Vadimovich)
Baskı/Yayın Bilgisi: (2007)
Limit theorems for associated random fields and related systems
Yazar:: Bulinskiĭ, A. V. (Aleksandr Vadimovich)
Baskı/Yayın Bilgisi: (2007)
Yazar:: Bulinskiĭ, A. V. (Aleksandr Vadimovich)
Baskı/Yayın Bilgisi: (2007)
Charming proofs a journey into elegant mathematics /
Yazar:: Alsina, Claudi
Baskı/Yayın Bilgisi: (2010)
Yazar:: Alsina, Claudi
Baskı/Yayın Bilgisi: (2010)
Charming proofs a journey into elegant mathematics /
Yazar:: Alsina, Claudi
Baskı/Yayın Bilgisi: (2010)
Yazar:: Alsina, Claudi
Baskı/Yayın Bilgisi: (2010)
Information theory and the central limit theorem
Yazar:: Johnson, Oliver (Oliver Thomas)
Baskı/Yayın Bilgisi: (2004)
Yazar:: Johnson, Oliver (Oliver Thomas)
Baskı/Yayın Bilgisi: (2004)
Information theory and the central limit theorem
Yazar:: Johnson, Oliver (Oliver Thomas)
Baskı/Yayın Bilgisi: (2004)
Yazar:: Johnson, Oliver (Oliver Thomas)
Baskı/Yayın Bilgisi: (2004)
Gödel's incompleteness theorems
Yazar:: Smullyan, Raymond M.
Baskı/Yayın Bilgisi: (1992)
Yazar:: Smullyan, Raymond M.
Baskı/Yayın Bilgisi: (1992)
Gödel's incompleteness theorems
Yazar:: Smullyan, Raymond M.
Baskı/Yayın Bilgisi: (1992)
Yazar:: Smullyan, Raymond M.
Baskı/Yayın Bilgisi: (1992)
The index theorem and the heat equation method
Yazar:: Yu, Yanlin
Baskı/Yayın Bilgisi: (2001)
Yazar:: Yu, Yanlin
Baskı/Yayın Bilgisi: (2001)
The index theorem and the heat equation method
Yazar:: Yu, Yanlin
Baskı/Yayın Bilgisi: (2001)
Yazar:: Yu, Yanlin
Baskı/Yayın Bilgisi: (2001)
Platonic wholes and quantum ontology /
Yazar:: Woszczek, Marek, 1980-
Baskı/Yayın Bilgisi: (2015)
Yazar:: Woszczek, Marek, 1980-
Baskı/Yayın Bilgisi: (2015)
Platonic wholes and quantum ontology /
Yazar:: Woszczek, Marek, 1980-
Baskı/Yayın Bilgisi: (2015)
Yazar:: Woszczek, Marek, 1980-
Baskı/Yayın Bilgisi: (2015)
Memoirs of a proof theorist Gödel and other logicians /
Yazar:: Takeuti, Gaisi, 1926-
Baskı/Yayın Bilgisi: (2003)
Yazar:: Takeuti, Gaisi, 1926-
Baskı/Yayın Bilgisi: (2003)
Memoirs of a proof theorist Gödel and other logicians /
Yazar:: Takeuti, Gaisi, 1926-
Baskı/Yayın Bilgisi: (2003)
Yazar:: Takeuti, Gaisi, 1926-
Baskı/Yayın Bilgisi: (2003)
Selectors
Yazar:: Jayne, John E. (John Eben), 1943-
Baskı/Yayın Bilgisi: (2002)
Yazar:: Jayne, John E. (John Eben), 1943-
Baskı/Yayın Bilgisi: (2002)
Selectors
Yazar:: Jayne, John E. (John Eben), 1943-
Baskı/Yayın Bilgisi: (2002)
Yazar:: Jayne, John E. (John Eben), 1943-
Baskı/Yayın Bilgisi: (2002)
Tracking reason proof, consequence, and truth /
Yazar:: Azzouni, Jody
Baskı/Yayın Bilgisi: (2006)
Yazar:: Azzouni, Jody
Baskı/Yayın Bilgisi: (2006)
Tracking reason proof, consequence, and truth /
Yazar:: Azzouni, Jody
Baskı/Yayın Bilgisi: (2006)
Yazar:: Azzouni, Jody
Baskı/Yayın Bilgisi: (2006)
Probabilistic applications of Tauberian theorems
Yazar:: I͡Akymiv, A. L. (Arsen Li͡ubomirovich)
Baskı/Yayın Bilgisi: (2005)
Yazar:: I͡Akymiv, A. L. (Arsen Li͡ubomirovich)
Baskı/Yayın Bilgisi: (2005)
Probabilistic applications of Tauberian theorems
Yazar:: I͡Akymiv, A. L. (Arsen Li͡ubomirovich)
Baskı/Yayın Bilgisi: (2005)
Yazar:: I͡Akymiv, A. L. (Arsen Li͡ubomirovich)
Baskı/Yayın Bilgisi: (2005)
Logic and theism arguments for and against beliefs in God /
Yazar:: Sobel, Jordan Howard
Baskı/Yayın Bilgisi: (2004)
Yazar:: Sobel, Jordan Howard
Baskı/Yayın Bilgisi: (2004)
Logic and theism arguments for and against beliefs in God /
Yazar:: Sobel, Jordan Howard
Baskı/Yayın Bilgisi: (2004)
Yazar:: Sobel, Jordan Howard
Baskı/Yayın Bilgisi: (2004)
Logic for concurrency and synchronisation
Baskı/Yayın Bilgisi: (2003)
Baskı/Yayın Bilgisi: (2003)