Αποτελέσματα για "Logic Symbolic and mathematical"

Αποτελέσματα για "Logic Symbolic and mathematical" Εμφανίζονται 1-27 από 27 Zend_Feed_Writer 2 (http://framework.zend.com) http://okeanos.lib.unipi.gr/Search/Results?lookfor=%22Logic+Symbolic+and+mathematical%22&type=Subject&sort=last_indexed+desc&limit=50 27 0 50 Foundations of mathematical logic/ Sat, 01 Jan 1977 20:29:05 +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 20:29:05 +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 20:29:05 +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 Διακριτά μαθηματικά και μαθηματική λογική / Tue, 01 Jan 2002 20:29:05 +0200 http://okeanos.lib.unipi.gr/Record/1%2F12207 http://okeanos.lib.unipi.gr/Record/1%2F12207 Book 2002 0 Incosistent mathematicics / Sun, 01 Jan 1995 20:29:05 +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 20:29:05 +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 Logic for applications / Wed, 01 Jan 1997 20:29:05 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11757 http://okeanos.lib.unipi.gr/Record/1%2F11757 Nerode, Anil. Book 1997 Nerode, Anil. 0 Temporal Logic of Programs / Thu, 01 Jan 1987 20:29:05 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11779 http://okeanos.lib.unipi.gr/Record/1%2F11779 Book 1987 0 Schaum's outline of theory and problems of discrete mathematics / Thu, 01 Jan 1976 20:29:05 +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 20:29:05 +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, sets, and recursion / Mon, 01 Jan 2001 20:29:05 +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 θεωρία και Προβλήματα στα διακριτά μαθηματικά / Wed, 01 Jan 2003 20:29:05 +0200 http://okeanos.lib.unipi.gr/Record/1%2F20432 http://okeanos.lib.unipi.gr/Record/1%2F20432 Lipschutz, Seymour. Book 2003 Lipschutz, Seymour. 0 Handbook of mathematical logic / Sat, 01 Jan 1977 20:29:05 +0200 http://okeanos.lib.unipi.gr/Record/1%2F19906 http://okeanos.lib.unipi.gr/Record/1%2F19906 Book 1977 0 Essays in memory of Imre Lakatos / Thu, 01 Jan 1976 20:29:05 +0200 http://okeanos.lib.unipi.gr/Record/1%2F3394 http://okeanos.lib.unipi.gr/Record/1%2F3394 Book 1976 0 Truth, deduction, and computation : logic and semantics for computer science / Sun, 01 Jan 1989 20:29:05 +0200 http://okeanos.lib.unipi.gr/Record/1%2F3543 http://okeanos.lib.unipi.gr/Record/1%2F3543 Davis, R.E. Book 1989 Davis, R.E. 0 Mathematical logic / Mon, 01 Jan 2007 20:29:05 +0200 http://okeanos.lib.unipi.gr/Record/1%2F35436 http://okeanos.lib.unipi.gr/Record/1%2F35436 Chiswell, Ian, 1948- Book 2007 Chiswell, Ian, 1948- 0 Analysis and decision making in uncertain systems / Thu, 01 Jan 2004 20:29:05 +0200 http://okeanos.lib.unipi.gr/Record/1%2F32409 http://okeanos.lib.unipi.gr/Record/1%2F32409 Bubnicki, Zdzislaw. Book 2004 Bubnicki, Zdzislaw. 0 The logic of partial information / Sun, 01 Jan 1995 20:29:05 +0200 http://okeanos.lib.unipi.gr/Record/1%2F28971 http://okeanos.lib.unipi.gr/Record/1%2F28971 Nait Abdallah, Areski, 1950- Book 1995 Nait Abdallah, Areski, 1950- 0 Mathematical logic Mon, 01 Jan 2001 20:29:05 +0200 http://okeanos.lib.unipi.gr/Record/1%2F38013 http://okeanos.lib.unipi.gr/Record/1%2F38013 Turing, Alan Mathison, 1912-1954. Electronic 2001 Turing, Alan Mathison, 1912-1954. 0 Commonsense reasoning Sun, 01 Jan 2006 20:29:05 +0200 http://okeanos.lib.unipi.gr/Record/1%2F36693 http://okeanos.lib.unipi.gr/Record/1%2F36693 Mueller, Erik T. Electronic 2006 Mueller, Erik T. 0 Στοιχεία θεωρίας υπολογισμού / Sat, 01 Jan 2005 20:29:05 +0200 http://okeanos.lib.unipi.gr/Record/1%2F43392 http://okeanos.lib.unipi.gr/Record/1%2F43392 Lewis, Harry R. Book 2005 Lewis, Harry R. 0 Logicomix / Sun, 01 Jan 2017 20:29:05 +0200 http://okeanos.lib.unipi.gr/Record/1%2F48033 http://okeanos.lib.unipi.gr/Record/1%2F48033 Δοξιάδης, Απόστολος Κ., 1953- Book 2017 Δοξιάδης, Απόστολος Κ., 1953- 0 Εισαγωγή στην ασαφή λογική (Fuzzy Logic) : βασικές αρχές της ασαφούς λογικής με εφαρμογές στην τεχνολογία: στοιχεία ασαφούς συνολοθεωρίας, ασαφούς αριθμητικής, ασαφούς γραμμικής άλγεβρας, ασαφή συστήματα ελέγχου, εφαρμογές Matlab / Sun, 01 Jan 2012 20:29:05 +0200 http://okeanos.lib.unipi.gr/Record/1%2F45817 http://okeanos.lib.unipi.gr/Record/1%2F45817 Θεοδώρου, Γιάννης Α. Book 2012 Θεοδώρου, Γιάννης Α. 0 Εφαρμογές μαθηματικού λογισμού σε επιχειρησιακά & οικονομικά προβλήματα : παρουσίαση με την χρήση του Excel / Wed, 01 Jan 2020 20:29:05 +0200 http://okeanos.lib.unipi.gr/Record/1%2F51581 http://okeanos.lib.unipi.gr/Record/1%2F51581 Καβουσανός, Εμμανουήλ Γ. Book 2020 Καβουσανός, Εμμανουήλ Γ. 0 Tractatus Logico-Philosophicus / Fri, 01 Jan 2016 20:29:05 +0200 http://okeanos.lib.unipi.gr/Record/1%2F52301 http://okeanos.lib.unipi.gr/Record/1%2F52301 Wittgenstein, Ludwig, 1889-1951. Book 2016 Wittgenstein, Ludwig, 1889-1951. 0 Symbolic logic and mechanical theorem proving / Thu, 01 Jan 1987 20:29:05 +0200 http://okeanos.lib.unipi.gr/Record/1%2F8436 http://okeanos.lib.unipi.gr/Record/1%2F8436 Chang, Chin-Liang, 1937- Book 1987 Chang, Chin-Liang, 1937- 0 Εφαρμογές της λογικής στην πληροφορική Thu, 01 Jan 2015 20:29:05 +0200 http://okeanos.lib.unipi.gr/Record/kal4527 http://okeanos.lib.unipi.gr/Record/kal4527 Στεφανέας, Πέτρος. Book 2015 Στεφανέας, Πέτρος. 0