Αποτελέσματα για "Logics."

Αποτελέσματα για "Logics." Εμφανίζονται 1-50 από 123 Zend_Feed_Writer 2 (http://framework.zend.com) http://okeanos.lib.unipi.gr/Search/Results?lookfor=%22Logics.%22&type=Subject&sort=last_indexed+desc&limit=50 123 0 50 Login and computer design fundamentals / Sat, 01 Jan 2000 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F15293 http://okeanos.lib.unipi.gr/Record/1%2F15293 Mano, Morris M., 1927- Book 2000 Mano, Morris M., 1927- 0 The practical xilinx designer lab book, version 1.5 / Fri, 01 Jan 1999 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F15402 http://okeanos.lib.unipi.gr/Record/1%2F15402 Van Den Bout, David E. Book 1999 Van Den Bout, David E. 0 Digital logic techniques : principles and practice / Mon, 01 Jan 1996 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F15498 http://okeanos.lib.unipi.gr/Record/1%2F15498 Stonham, T. J. Book 1996 Stonham, T. J. 0 Foundations of mathematical logic/ Sat, 01 Jan 1977 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F17897 http://okeanos.lib.unipi.gr/Record/1%2F17897 Curry, Haskell B., 1900- Book 1977 Curry, Haskell B., 1900- 0 Elements of the theory of computation / Thu, 01 Jan 1981 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F18222 http://okeanos.lib.unipi.gr/Record/1%2F18222 Lewis, Harry R. Book 1981 Lewis, Harry R. 0 Logic and knowledge : essays 1901-1950 / Fri, 01 Jan 1971 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F16501 http://okeanos.lib.unipi.gr/Record/1%2F16501 Russell, Bertrand, 1872-1970. Book 1971 Russell, Bertrand, 1872-1970. 0 Logical foundations for cognitive agents : contributions in honor of Ray Reiter / Fri, 01 Jan 1999 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F16908 http://okeanos.lib.unipi.gr/Record/1%2F16908 Book 1999 0 Fuzzy logic and neurofuzzy applications in business and finance / Mon, 01 Jan 1996 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F16972 http://okeanos.lib.unipi.gr/Record/1%2F16972 Altrock, Constantin von. Book 1996 Altrock, Constantin von. 0 Digital Fundamentals / Sat, 01 Jan 2000 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F16980 http://okeanos.lib.unipi.gr/Record/1%2F16980 Floyd, Thomas L. Book 2000 Floyd, Thomas L. 0 Fundamentals of digital logic with VHDL design / Sat, 01 Jan 2000 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F17037 http://okeanos.lib.unipi.gr/Record/1%2F17037 Brown, Stephen. Book 2000 Brown, Stephen. 0 The practical Xilinx designer lab book / Thu, 01 Jan 1998 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F17179 http://okeanos.lib.unipi.gr/Record/1%2F17179 Van Den Bout, Dave. Book 1998 Van Den Bout, Dave. 0 Intelligent control: aspects of fuzzy logic and neural nets/ Fri, 01 Jan 1993 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F13821 http://okeanos.lib.unipi.gr/Record/1%2F13821 Harris, C. J. Book 1993 Harris, C. J. 0 Fuzzy logic in artificial intelligence, towards intelligent systems, IJCAI '95 workshop, Montreal, Canada, August 19-21, 1995: selected papers/ Mon, 01 Jan 1996 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F12074 http://okeanos.lib.unipi.gr/Record/1%2F12074 Book 1996 0 Logic and lexicon: the semantics of the indefinite/ Sun, 01 Jan 1995 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F12159 http://okeanos.lib.unipi.gr/Record/1%2F12159 Pinkal, Manfred. Book 1995 Pinkal, Manfred. 0 Διακριτά μαθηματικά και μαθηματική λογική / Tue, 01 Jan 2002 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F12207 http://okeanos.lib.unipi.gr/Record/1%2F12207 Book 2002 0 Logic and algorithms: with applications to the computer and information sciences/ Sat, 01 Jan 1966 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11332 http://okeanos.lib.unipi.gr/Record/1%2F11332 Korfhage, Robert R. Book 1966 Korfhage, Robert R. 0 Formal logic: its scope and limits/ Sun, 01 Jan 1967 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11377 http://okeanos.lib.unipi.gr/Record/1%2F11377 Jeffrey, Richard C. Book 1967 Jeffrey, Richard C. 0 The Godel Programming Language / Sat, 01 Jan 1994 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11611 http://okeanos.lib.unipi.gr/Record/1%2F11611 Hill, Patricia. Book 1994 Hill, Patricia. 0 Inductive logic programming: from machine learning to software engineering / Sun, 01 Jan 1995 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11637 http://okeanos.lib.unipi.gr/Record/1%2F11637 Bergadamo, Francesco. Book 1995 Bergadamo, Francesco. 0 Solving the Frame Problem: a mathematical investigation of the common sense law of inertia / Wed, 01 Jan 1997 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11644 http://okeanos.lib.unipi.gr/Record/1%2F11644 Shanahan, Murray. Book 1997 Shanahan, Murray. 0 Incosistent mathematicics / Sun, 01 Jan 1995 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11660 http://okeanos.lib.unipi.gr/Record/1%2F11660 Mortensen, Chris. Book 1995 Mortensen, Chris. 0 Closure spaces and logic / Mon, 01 Jan 1996 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11661 http://okeanos.lib.unipi.gr/Record/1%2F11661 Martin, Norman M. Book 1996 Martin, Norman M. 0 Doing Worlds with worlds: formal semantics without formal metaphysics / Sun, 01 Jan 1995 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11662 http://okeanos.lib.unipi.gr/Record/1%2F11662 Peregrin, Jaroslav. Book 1995 Peregrin, Jaroslav. 0 Quebec studies in the philoshophy of science / Mon, 01 Jan 1996 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11663 http://okeanos.lib.unipi.gr/Record/1%2F11663 Book 1996 0 Proof theory of modal logic/ Mon, 01 Jan 1996 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11707 http://okeanos.lib.unipi.gr/Record/1%2F11707 Book 1996 0 The Posing of questions: logical foundations of Erotetic inferences/ Sun, 01 Jan 1995 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11709 http://okeanos.lib.unipi.gr/Record/1%2F11709 Wisniewski, Andrzej. Book 1995 Wisniewski, Andrzej. 0 Logic for applications / Wed, 01 Jan 1997 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11757 http://okeanos.lib.unipi.gr/Record/1%2F11757 Nerode, Anil. Book 1997 Nerode, Anil. 0 Computation, Logic, Philosophy: a collection of essays / Mon, 01 Jan 1990 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11772 http://okeanos.lib.unipi.gr/Record/1%2F11772 Hao, Wang. Book 1990 Hao, Wang. 0 Frontiers of combining systems: first international workshops, Munich, March 1996 / Mon, 01 Jan 1996 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11774 http://okeanos.lib.unipi.gr/Record/1%2F11774 Book 1996 0 Temporal Logic of Programs / Thu, 01 Jan 1987 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11779 http://okeanos.lib.unipi.gr/Record/1%2F11779 Book 1987 0 Nomonotonic Logics: basic concepts, results, and techniques / Wed, 01 Jan 1997 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11797 http://okeanos.lib.unipi.gr/Record/1%2F11797 Schlechta, Karl. Book 1997 Schlechta, Karl. 0 The Logic of Essentialism: an interpretation of Aristotle's Modal Syllogistic / Mon, 01 Jan 1996 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11815 http://okeanos.lib.unipi.gr/Record/1%2F11815 Thom, Paul. Book 1996 Thom, Paul. 0 Logic program synthesis and transformation. International workshop, LOPSTR (6th:1996:Stockholm, Sweden), August 28-30, 1996: proceedings/ Wed, 01 Jan 1997 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11823 http://okeanos.lib.unipi.gr/Record/1%2F11823 Book 1997 0 Quantifiers: logics, models and computation, vol. one: Surveys/ Sun, 01 Jan 1995 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11825 http://okeanos.lib.unipi.gr/Record/1%2F11825 Book 1995 0 The Resolution calculus/ Wed, 01 Jan 1997 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11826 http://okeanos.lib.unipi.gr/Record/1%2F11826 Leitsch, Alexander. Book 1997 Leitsch, Alexander. 0 Type logical grammar: categorial logic of signs/ Sat, 01 Jan 1994 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11828 http://okeanos.lib.unipi.gr/Record/1%2F11828 Morrill, Glyn V. Book 1994 Morrill, Glyn V. 0 Fallacies arising from ambiguity/ Mon, 01 Jan 1996 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11830 http://okeanos.lib.unipi.gr/Record/1%2F11830 Walton, Douglas. Book 1996 Walton, Douglas. 0 Intensionality and truth: an essay on the philosophy of A.N. Prior/ Mon, 01 Jan 1996 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11832 http://okeanos.lib.unipi.gr/Record/1%2F11832 Hugly, Philip. Book 1996 Hugly, Philip. 0 Analysis and verification of multiple-agent languages (5th:Stockholm, Sweden:1996), June 24-26 1996: workshop, selected papers/ Wed, 01 Jan 1997 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11833 http://okeanos.lib.unipi.gr/Record/1%2F11833 Book 1997 0 Computing in horn clause theories/ Fri, 01 Jan 1988 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11834 http://okeanos.lib.unipi.gr/Record/1%2F11834 Padawitz, Peter. Book 1988 Padawitz, Peter. 0 Applied logic: how, what and why logical approaches to natural language/ Sun, 01 Jan 1995 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11945 http://okeanos.lib.unipi.gr/Record/1%2F11945 Book 1995 0 Logic / Sat, 01 Jan 1977 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F10047 http://okeanos.lib.unipi.gr/Record/1%2F10047 Hodges, Wilfrid. Book 1977 Hodges, Wilfrid. 0 Studies in logic and the foundations of mathematics: vol. 73: Model theory/ Sat, 01 Jan 1977 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11082 http://okeanos.lib.unipi.gr/Record/1%2F11082 Chang, C. C. Book 1977 Chang, C. C. 0 Schaum's outline of theory and problems of discrete mathematics / Thu, 01 Jan 1976 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F18487 http://okeanos.lib.unipi.gr/Record/1%2F18487 Lipschutz, Seymour. Book 1976 Lipschutz, Seymour. 0 Logic-based decision support : mixed integer model formulation / Sun, 01 Jan 1989 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F18577 http://okeanos.lib.unipi.gr/Record/1%2F18577 Jeroslow, Robert G., 1942- Book 1989 Jeroslow, Robert G., 1942- 0 Logic programming : formal methods and practical applications / Sun, 01 Jan 1995 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F18606 http://okeanos.lib.unipi.gr/Record/1%2F18606 Book 1995 0 AI game development : synthetic creatures with learning and reactive behaviors / Thu, 01 Jan 2004 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F20296 http://okeanos.lib.unipi.gr/Record/1%2F20296 Champandard, Alex. Book 2004 Champandard, Alex. 0 Modern VLSI design : system-on-chip design / Tue, 01 Jan 2002 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F20376 http://okeanos.lib.unipi.gr/Record/1%2F20376 Wolf, Marilyn 1958- Book 2002 Wolf, Marilyn 1958- 0 Soft computing and its applications / Mon, 01 Jan 2001 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F20414 http://okeanos.lib.unipi.gr/Record/1%2F20414 Aliev, R.A. Book 2001 Aliev, R.A. 0 Logic, sets, and recursion / Mon, 01 Jan 2001 14:15:19 +0200 http://okeanos.lib.unipi.gr/Record/1%2F20431 http://okeanos.lib.unipi.gr/Record/1%2F20431 Causey, Robert L. Book 2001 Causey, Robert L. 0