Automated Deduction in Nonclassical Logics – Efficient Matrix Proof Methods etc
Год выпуска: 1990
Автор: L A Wallen
Издательство:
Страниц: 260
ISBN: 9780262231442
Описание Automated Deduction in Nonclassical Logics – Efficient Matrix Proof Methods etc |
Похожие книги - A. S. Troelstra, H. Schwichtenberg, C. J. van Rijsbergen, Anne S. Troelstra. Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science). – М.: , 0. – 0 с.
- Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono. Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Volume 151. – М.: Elsevier Science, 2007. – 532 с.
- Erkki J. Brandas. Unstable States in the Continuous Spectra. Analysis, Concepts, Methods and Results,60. – М.: , 2010. – 544 с.
- M. Kracht. Tools and Techniques in Modal Logic,142. – М.: , 2010. – 0 с.
- J.L. Bell. A Course in Mathematical Logic. – М.: , 2010. – 0 с.
- Dov M. Gabbay. Quantification in Nonclassical Logic,153. – М.: , 2010. – 640 с.
- L A Wallen. Automated Deduction in Nonclassical Logics – Efficient Matrix Proof Methods etc. – М.: , 1990. – 260 с.
- Marcus Kracht. Adavances in Modal Logic V 1. – М.: , 1998. – 400 с.
- T Morris–suzuki. Beyond Computopia – Information Automation & Democracy in Japan. – М.: , 1988. – 232 с.
- L ROBERT. Robert Frontiers Of Matrix Biology – Methods Of Connective ?tissue Research?. – М.: , 1985. – 262 с.
- JM CRUSE. Cruse Concepts In Immunopathology – ?autoimmunity? – Basic Concept Systemic & Selected Etc. – М.: , 1985. – 372 с.
- JH HIMES. Himes Monographs In Paediatrics – ?parent–specific ? Adjustmnt For Ass Etc (paper Only). – М.: , 1981. – 98 с.
- Raymond Reiter. Knowledge in Action – Logical Foundations for Specifying & Implementing Dynamical Systems. – М.: , 2001. – 448 с.
- A ONNIS. Onnis: Biochemical Effects Of ?drugs? In Pregnancy – Drugs Active On The Nervous Etc. – М.: , 1984. – 412 с.
- Sadia Afrin Asha. Comparison of Permeability in Constant Head and Falling Head Method. – М.: LAP Lambert Academic Publishing, 2010. – 64 с.
- Mukul Kumar and Nitendra Prakash. Selection Methods in Rice Breeding. – М.: LAP Lambert Academic Publishing, 2013. – 164 с.
- Didenko Vladimir V. In Situ Detection of DNA Damage / Methods and Protocols. – М.: , 2002. – 336 с.
Образцы работ
Задайте свой вопрос по вашей теме
|
|
|
