Βελτιώστε την αναζήτησή σας
Διαθεσιμότητα
-
Συγγραφείς
- Aldini, Alessandro
- Alla, Hassane
- Boyer, Robert
- Brown, Stephen D.
- Dix, JΓΌrgen
- Governatori, Guido
- Hoek, Wiebe
- Hoffmann, Frank
- HΓΌllermeier, Eyke
- Kanamori, Akihiro
- Kowalski, Robert A.
- Kruse, Rudolf
- LΓΆwe, Benedikt
- Margaria, Tiziana
- Milmeister, GΓ©rard
- Moore, J. Strother
- Rozenberg, Grzegorz
- Skowron, Andrzej
- Voronkov, Andrei
- Vranesic, Zvonko G.
- Εμφάνιση περισσότερων
- Εμφάνιση λιγότερων
-
Συλλογές
-
Βιβλιοθήκες που διαθέτουν αντίτυπα
-
Τύποι τεκμηρίου
-
Τοποθεσίες
-
Σειρά
- APIC Studies in Data...
- Cognitive Technologi...
- Communications in Co...
- EATCS Monographs in ...
- Handbook of Philosop...
- IFIP Advances in Inf...
- Lecture Notes in Bus...
- Lecture Notes in Com...
- Lecture Notes in Com...
- Lecture Notes in Mat...
- Logic, Epistemology,...
- McGraw-Hill series i...
- MIT Press Series in ...
- Springer Monographs ...
- Surveys in Computer ...
- Synthese Library, St...
- Texts in Theoretical...
- Trends in Logic
- Universitext
- Vienna Circle Instit...
- Εμφάνιση περισσότερων
- Εμφάνιση λιγότερων
-
Τοποθεσίες
-
Θέματα
- Algorithm Analysis a...
- Artificial Intellige...
- Computation by Abstr...
- Computer Communicati...
- Computer science
- Computer Science
- Computer software
- Logic
- Logic design
- Logic, Symbolic and ...
- Logics and Meanings ...
- Mathematical Logic a...
- Mathematics
- Philosophy
- Programming Language...
- Programming Techniqu...
- Software engineering
- Software Engineering
- Λογική, Συμβολική κα...
- Τεχνητή νοημοσύνη
- Εμφάνιση περισσότερων
- Εμφάνιση λιγότερων