Logic Theory
Es wurden insgesamt 1294 Einträge zu 'Logic Theory' gefunden (Stand: 06.02.2012).
Sehen Sie sich die aktuell angebotenen Bücher zu 'Logic Theory' an.
THEORY AND PRACTICE OF LOGIC PROGRAMMING Vols. 1-8. Cambridge, 2001-2008.
1471-0684
Bryant, Edwin: The Quest of the Origins of Vedic Culture.
The Indo-Aryan Migration Debate. This book is a study of how various Indian scholars, over the course of a century or more, have rejected the idea of an external origin of the Indo Aryans by questioning the very logic, assumptions and methods upon which the theory is based. In the process, Bryant presents a complete exposition and analysis of views from within mainstream academic circles addressing the issue of Indo-Aryan origins. XI,387 pages with 10 maps, paperback (Oxford University Press 2001) etwas bestoßen und berieben
Hinman, Peter G., (Hrsg.), Omega-Bibliography of Mathematical Logic, Volume IV (4): Recursion Theory, Berlin, Springer-Verlag (= Perspectives in Mathematical Logic), 1987, ; 1. Ed. ISBN: 3-540-15523-6
Erstausgabe, 4°, 697 S., original Pappband, nahezu verlagsfrisch, (ti1 a),
[KW: Bibliographie Bibliographien Nachschlagewerke Bibliography Bibliographies; höhere Mathematik; Logik logisch]
Esparza, Javier; Heljanko, Keijo: Unfoldings A Partial-Order Approach to Model Checking, SPRINGER, BERLIN, ISBN: 3540774254
In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They offer an introduction to the basics of the method and detail an unfolding-based algorithm for model checking concurrent systems against properties specified as formulas of linear temporal logic (LTL). The book will be of value to researchers and graduate students engaged in automatic verification and concurrency theory.
NEUBUCH! 2008. 170 p. 235 mm; Monographs in Theoretical Computer Science