Βιβλιοθήκη και Κέντρο Πληροφόρησης

Your cart is empty.

Cart
Lists
Public lists Περιβάλλον και κλιματική αλλαγή / Environment and climate change Ισότητα των φύλων / Gender equality ΠΜΣ ΕΚΠΑΙΔΕΥΣΗ ΕΝΗΛΙΚΩΝ ΕΙΔΙΚΗ ΑΓΩΓΗ Κατατακτήριες_εκπαιδευτικής Εξεταστική 2020 ΚΚΚΚ View All
Your lists Log in to create your own lists

Log in to your account
Search history
Clear

Search

Advanced search
Course reserves
Authority search
Tag cloud
Libraries

Log in to your account

Login: Password:

Login Instructions

Login: The Barcode of you Library Card, or of your Academic ID
Password: The number of your official identification document, including the letters adjacent to the number, with no spaces (You can change that in your account settings)

Forgot your password?

Home
Results of search for 'an=1492'

Refine your search

Availability
- Limit to currently available items
Authors
Collections
Holding libraries
- University of Macedonia Library
- University of Macedonia Model School Library
Item types
Locations
Series
Topics

Your search returned 47 results.

Not what you expected? Check for suggestions

1
2
3
Next
Last

Sort by:

Unhighlight Highlight

| |

		Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou. by Lewis, Harry R \| Papadimitriou, Christos H. Series: Prentice-Hall software seriesMaterial type: Text; Format: print ; Literary form: Not fiction Publication details: Englewood Cliffs, N.J. : Prentice-Hall, c1981Availability: Items available for loan: University of Macedonia LibraryCall number: QA267.L49 1981 (1). Place hold Add to cart (remove)
		No cover image available Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay and C. J. Hogger and J. A. Robinson ; volume co-ordinator, J. Siekmann. by Gabbay, Dov M, 1945- \| Hogger, Christopher John \| Robinson, J. A. (John Alan). Series: Oxford science publicationsMaterial type: Text; Format: print ; Literary form: Not fiction Publication details: Oxford : Clarendon Press, 1993-Availability: Items available for loan: University of Macedonia LibraryCall number: QA76.63.H36 1993 (3). Place hold Add to cart (remove)
		Proof and knowledge in mathematics / edited by Michael Detlefsen. by Detlefsen, Michael, 1948-. Material type: Text; Format: print ; Literary form: Not fiction Publication details: London ; New York : Routledge, 1992Availability: Items available for loan: University of Macedonia LibraryCall number: QA8.4.P75 1992 (1). Place hold Add to cart (remove)
		Το θεώρημα του Godel / E. Nagel, James R. Newman. by Nagel, Ernest, 1901-1985 \| Newman, James R. (James Roy), 1907-1966. Material type: Text; Format: print ; Literary form: Not fiction Language: Greek, Modern (1453- ) Original language: English Publication details: Αθήνα : Τροχαλία, 1991Availability: Items available for loan: University of Macedonia LibraryCall number: QA9.65.N3416 1991 (1). Place hold Add to cart (remove)
		Optimization and computational logic / Kenneth McAloon and Carol Tretkoff. by McAloon, Kenneth \| Tretkoff, Carol. Series: Wiley-Interscience series in discrete mathematics and optimizationMaterial type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Wiley, 1996Availability: Items available for loan: University of Macedonia LibraryCall number: T57.74.M39 1996 (1). Place hold Add to cart (remove)
		Αποδείξεις και ανασκευές : η λογική της μαθηματικής ανακάλυψης / Imre Lakatos. by Lakatos, Imre. Material type: Text; Format: print ; Literary form: Not fiction Language: Greek, Modern (1453- ) Original language: English Publication details: Aθήνα : Τροχαλία, 1996Availability: Items available for loan: University of Macedonia LibraryCall number: QA8.4.L3416 1996 (1). Place hold Add to cart (remove)
		Introductory logic and formal methods / David Heath, Derek Allum, Lynne Dunckley. by Heath, David \| Allum, Derek \| Dunckley, Lynne. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Henley-on-Thames : Alfred Waller, c1994Availability: Items available for loan: University of Macedonia LibraryCall number: QA9.H38 1994 (1). Place hold Add to cart (remove)
		No cover image available Tractatus logico-philosophicus / Ludwig Wittgenstein ; μετάφραση Θανάσης Κιτσόπουλος ; παρουσίαση Ζήσιμος Λορεντζάτος ; εισαγωγή Bertrand Russell. by Wittgenstein, Ludwig, 1889-1951. Series: Φιλοσοφία - ΠηγέςMaterial type: Text; Format: print ; Literary form: Not fiction Language: Greek, Modern (1453- ) Original language: German Publication details: Αθήνα : Παπαζήσης, 1978Online access: Online ψηφιακή μορφή Availability: Items available for reference: University of Macedonia Library Not for loanCall number: B3376.W563T7316 1978 (1). : Add to cart (remove)
		First-order logic and automated theorem proving / Melvin Fitting. by Fitting, Melvin, 1942-. Series: Graduate texts in computer science (Springer-Verlag New York Inc.)Edition: 2nd ed.Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, c1996Availability: Items available for loan: University of Macedonia LibraryCall number: QA76.9.A96F68 1996 (1). Place hold Add to cart (remove)
		Introduction to mathematical structures and proofs / Larry J.Gerstein. by Gerstein, Larry J. Series: Textbooks in mathematical sciencesMaterial type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Sudbury, MA : Springer ; Jones and BartlettPublishers, c1996Availability: Items available for loan: University of Macedonia LibraryCall number: QA9.G358 1996 (1). Place hold Add to cart (remove)
		Fuzzy systems for information processing / Edited by K. Asai ; Translated by Charles Aschmann. by Asai, Kiyoji, 1923-. Material type: Text; Format: print ; Literary form: Not fiction Language: English Original language: jap Publication details: Tokyo ; Washington, DC : Ohmsha. ; IOS Press, c1995Availability: Items available for loan: University of Macedonia LibraryCall number: QA248F3513 1995 (1). Place hold Add to cart (remove)
		Φιλοσοφική γραμματική / Ludwig Wittgenstein ; εισαγωγή-μετάφραση-σχόλια Κωστής Μ. Κωβαίος. by Wittgenstein, Ludwig, 1889-1951. Material type: Text; Format: print ; Literary form: Not fiction Language: Greek, Modern (1453- ) Original language: English Publication details: Αθήνα : Μορφωτικό Ίδρυμα Εθνικής Τραπέζης, 1994Availability: Items available for loan: University of Macedonia LibraryCall number: B3376.W563P5216 1994 (1). Place hold Add to cart (remove)
		100% mathematical proof / Rowan Garnier, John Taylor. by Garnier, Rowan \| Taylor, John, 1957-. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Chichester : Wiley, c1996Other title: One hundred percent mathematical proof.Availability: Items available for loan: University of Macedonia LibraryCall number: QA9.54.G367 1996 (1). Place hold Add to cart (remove)
		Δοκίμιο για την εισαγωγή της έννοιας του αρνητικού μεγέθους στη φιλοσοφία / Immanuel Kant ; μετάφραση, εισαγωγή, σχόλια, Χάρης Τασάκος. by Kant, Immanuel, 1724-1804. Series: Στις πηγές της γνώσηςMaterial type: Text; Format: print ; Literary form: Not fiction Language: Greek, Modern (1453- ) Original language: German Publication details: Αθήνα : Printa, c2001Other title: Έννοια του αρνητικού μεγέθους στη φιλοσοφία.Online access: Εξώφυλλο, οπισθόφυλλο Availability: Items available for loan: University of Macedonia LibraryCall number: B2794.V42G7 2001 (1). Place hold Add to cart (remove)
		Logic-based methods for optimization : combining optimization and constraint satisfaction / John Hooker. by Hooker, John, 1949-. Series: Wiley-Interscience series in discrete mathematics and optimizationMaterial type: Text; Format: print ; Literary form: Not fiction Publication details: New York : John Wiley & Sons, c2000Online access: Table of Contents Availability: Items available for loan: University of Macedonia LibraryCall number: T57.74.H66 2000 (1). Place hold Add to cart (remove)

1
2
3
Next
Last

Languages:
English
Eλληνικά