Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(1601)
Voronkov, Andrei. editor.
(14)
Bonsangue, Marcello M. editor.
(11)
Ebu Ali Hüseyin b. Abdullah b. Hasan el-Belhi İbn Sina, 428/1037, (İbn Sina)
(9)
Liu, Zhiming. editor.
(8)
Dil
Yayın Yılı
-
Konu
Computer science.
(1061)
Computer Science Logic and Foundations of Programming.
(982)
Software engineering.
(753)
Formal Languages and Automata Theory.
(611)
Machine theory.
(611)
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ç
1801 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT
Yazdır
25. 
Logic and Integer Programming için kapak resmi
Logic and Integer Programming
by 
Williams, H. Paul. author.
https://doi.org/10.1007/978-0-387-92280-5
Format: 
Alıntı: 
Logic and Integer Programming Williams, H. Paul. author.
26. 
Probabilistic Inductive Logic Programming için kapak resmi
Probabilistic Inductive Logic Programming
by 
De Raedt, Luc. editor.
https://doi.org/10.1007/978-3-540-78652-8
Format: 
Alıntı: 
Probabilistic Inductive Logic Programming De Raedt, Luc. editor.
27. 
Hybrid Logic and its Proof-Theory için kapak resmi
Hybrid Logic and its Proof-Theory
by 
Braüner, Torben. author.
https://doi.org/10.1007/978-94-007-0002-4
Format: 
Alıntı: 
Hybrid Logic and its Proof-Theory Braüner, Torben. author.
28. 
Rigid Flexibility The Logic of Intelligence için kapak resmi
Rigid Flexibility The Logic of Intelligence
by 
Wang, Pei. author.
https://doi.org/10.1007/1-4020-5045-3
Format: 
Alıntı: 
Rigid Flexibility The Logic of Intelligence / Wang, Pei. author.
29. 
Krister Segerberg on Logic of Actions için kapak resmi
Krister Segerberg on Logic of Actions
by 
Trypuz, Robert. editor.
https://doi.org/10.1007/978-94-007-7046-1
Format: 
Alıntı: 
Krister Segerberg on Logic of Actions Trypuz, Robert. editor.
30. 
Handbook of Philosophical Logic Volume 17 için kapak resmi
Handbook of Philosophical Logic Volume 17
by 
Gabbay, Dov M. editor.
https://doi.org/10.1007/978-94-007-6600-6
Format: 
Alıntı: 
Handbook of Philosophical Logic Volume 17 / Gabbay, Dov M. editor.
31. 
Handbook of Philosophical Logic Volume 16 için kapak resmi
Handbook of Philosophical Logic Volume 16
by 
Gabbay, Dov M. editor.
https://doi.org/10.1007/978-94-007-0479-4
Format: 
Alıntı: 
Handbook of Philosophical Logic Volume 16 / Gabbay, Dov M. editor.
32. 
Handbook of Philosophical Logic Volume 15 için kapak resmi
Handbook of Philosophical Logic Volume 15
by 
Gabbay, Dov M. editor.
https://doi.org/10.1007/978-94-007-0485-5
Format: 
Alıntı: 
Handbook of Philosophical Logic Volume 15 / Gabbay, Dov M. editor.
33. 
Handbook of Philosophical Logic Volume 14 için kapak resmi
Handbook of Philosophical Logic Volume 14
by 
Gabbay, Dov M. editor.
https://doi.org/10.1007/978-1-4020-6324-4
Format: 
Alıntı: 
Handbook of Philosophical Logic Volume 14 / Gabbay, Dov M. editor.
34. 
Handbook of Philosophical Logic Volume 12 için kapak resmi
Handbook of Philosophical Logic Volume 12
by 
Gabbay, D.M. editor.
https://doi.org/10.1007/1-4020-3092-4
Format: 
Alıntı: 
Handbook of Philosophical Logic Volume 12 / Gabbay, D.M. editor.
35. 
Handbook of Philosophical Logic Volume 13 için kapak resmi
Handbook of Philosophical Logic Volume 13
by 
Gabbay, D.M. editor.
https://doi.org/10.1007/1-4020-3521-7
Format: 
Alıntı: 
Handbook of Philosophical Logic Volume 13 / Gabbay, D.M. editor.
36. 
Recent Trends in Philosophical Logic için kapak resmi
Recent Trends in Philosophical Logic
by 
Ciuni, Roberto. editor.
https://doi.org/10.1007/978-3-319-06080-4
Format: 
Alıntı: 
Trends in Logic, Studia Logica Library,
Eylem Seç