نتایج جستجو
Applications of Declarative Programming and Knowledge Management: 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers
Thomas Eiter, Michael Fink, Giovambattista Ianni, Peter Schüller (auth.), Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf (eds.), 2013
A Study of Husserl's Formal and Transcendental Logic
Suzanne Bachelard. Translated by Lester E. Embree, 1990
The Logic of Logistics : Theory, Algorithms, and Applications for Logistics Management (Springer Series in Operations Research)
Julien Bramel David Simchi-Levi, 1999
Algebraic methods of mathematical logic
Ladislav Rieger, 1967
Business Logic for Sustainability: A Food and Beverage Industry Perspective
Aileen Ionescu-Somers, 2008
Business Logic for Sustainability: An Analysis of the Food and Beverage Industry
Aileen Ionescu-Somers, 2008
A short introduction to intuitionistic logic
Mint︠s︡, 2000
Games, logic, and constructive sets
Grigori Mints, 2003
Games, Logic, and Constructive Sets
Grigori Mints, 2003
Games, Logic, and Constructive Sets
Grigori Mints, 2003
Games: Unifying Logic, Language, and Philosophy
Ondrej Majer, 2009
A tour through mathematical logic
Wolf R.S., 2005
Computer-Aided Design Techniques for Low Power Sequential Logic Circuits
José Monteiro, 1997
New Directions in Paraconsistent Logic: 5th WCP, Kolkata, India, February 2014
Jean-Yves Beziau, 2015
