Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(183)
Project Muse.
(4)
Gabbay, Dov M. editor.
(3)
Barthe, Gilles. editor.
(2)
Calude, Cristian S. editor.
(2)
Dil
Konu
Computer science.
(139)
Logic design.
(114)
Software engineering.
(80)
Artificial intelligence.
(54)
Logic, Symbolic and mathematical.
(51)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
267 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
37. 
Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings için kapak resmi
Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings
Yazar 
Kuchen, Herbert. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22531-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions için kapak resmi
Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions
Yazar 
Kaiser, Łukasz. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22807-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Value Determination of Supply Chain Initiatives A Quantification Approach Based on Fuzzy Logic and System Dynamics için kapak resmi
Value Determination of Supply Chain Initiatives A Quantification Approach Based on Fuzzy Logic and System Dynamics
Yazar 
Wessely, Philip. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8349-6323-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Aristotle's Modal Proofs Prior Analytics A8-22 in Predicate Logic için kapak resmi
Aristotle's Modal Proofs Prior Analytics A8-22 in Predicate Logic
Yazar 
Rini, Adriane. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-0050-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell için kapak resmi
Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell
Yazar 
DeVidi, David. editor. Hallett, Michael. editor. Clarke, Peter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-0214-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
After Gödel Platonism and rationalism in mathematics and logic için kapak resmi
After Gödel Platonism and rationalism in mathematics and logic
Yazar 
Tieszen, Richard L.
Yer Numarası 
ONLINE
Elektronik Erişim 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199606207.001.0001
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
The logic of the Trinity Augustine to Ockham için kapak resmi
The logic of the Trinity Augustine to Ockham
Yazar 
Thom, Paul. Project Muse.
Yer Numarası 
ONLINE
Elektronik Erişim 
Full text available:
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Proofs and Algorithms An Introduction to Logic and Computability için kapak resmi
Proofs and Algorithms An Introduction to Logic and Computability
Yazar 
Dowek, Gilles. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-85729-121-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Mathematical Logic and Model Theory A Brief Introduction için kapak resmi
Mathematical Logic and Model Theory A Brief Introduction
Yazar 
Prestel, Alexander. author. Delzell, Charles N. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-2176-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
A Science of Operations Machines, Logic and the Invention of Programming için kapak resmi
A Science of Operations Machines, Logic and the Invention of Programming
Yazar 
Priestley, Mark. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84882-555-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology için kapak resmi
From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology
Yazar 
Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-11682-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers için kapak resmi
Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
Yazar 
Mariño, Julio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-20775-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç