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ç
1800 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT
Yazdır
37. 
Gentzen Calculi for Modal Propositional Logic için kapak resmi
Gentzen Calculi for Modal Propositional Logic
by 
Poggiolesi, Francesca. author.
https://doi.org/10.1007/978-90-481-9670-8
Format: 
Alıntı: 
Trends in Logic, Studia Logica Library,
38. 
Mathematical Logic Foundations for Information Science için kapak resmi
Mathematical Logic Foundations for Information Science
by 
Li, Wei. author.
https://doi.org/10.1007/978-3-0348-0862-0
Format: 
Alıntı: 
Mathematical Logic Foundations for Information Science / Li, Wei. author.
39. 
Mathematical Logic Foundations for Information Science için kapak resmi
Mathematical Logic Foundations for Information Science
by 
Li, Wei. author.
https://doi.org/10.1007/978-3-7643-9977-1
Format: 
Alıntı: 
Mathematical Logic Foundations for Information Science / Li, Wei. author.
40. 
Games: Unifying Logic, Language, and Philosophy için kapak resmi
Games: Unifying Logic, Language, and Philosophy
by 
Majer, Ondrej. editor.
https://doi.org/10.1007/978-1-4020-9374-6
Format: 
Alıntı: 
Games: Unifying Logic, Language, and Philosophy Majer, Ondrej. editor.
41. 
Logic Pro 9 : audio and music production için kapak resmi
Logic Pro 9 : audio and music production
by 
Cousins, Mark, 1972-
ScienceDirect https://www.sciencedirect.com/science/book/9780240521930
Format: 
Alıntı: 
Logic Pro 9 : audio and music production / Cousins, Mark, 1972-
42. 
Non-commutative Multiple-Valued Logic Algebras için kapak resmi
Non-commutative Multiple-Valued Logic Algebras
by 
Ciungu, Lavinia Corina. author.
https://doi.org/10.1007/978-3-319-01589-7
Format: 
Alıntı: 
Non-commutative Multiple-Valued Logic Algebras Ciungu, Lavinia Corina. author.
43. 
Cylindric-like Algebras and Algebraic Logic için kapak resmi
Cylindric-like Algebras and Algebraic Logic
by 
Andréka, Hajnal. editor.
https://doi.org/10.1007/978-3-642-35025-2
Format: 
Alıntı: 
Cylindric-like Algebras and Algebraic Logic Andréka, Hajnal. editor.
44. 
A Course on Mathematical Logic için kapak resmi
A Course on Mathematical Logic
by 
Srivastava, Shashi Mohan. author.
https://doi.org/10.1007/978-1-4614-5746-6
Format: 
Alıntı: 
A Course on Mathematical Logic Srivastava, Shashi Mohan. author.
45. 
Logic, Language, Information, and Computation için kapak resmi
Logic, Language, Information, and Computation
by 
Ong, Luke. editor.
https://doi.org/10.1007/978-3-642-32621-9
Format: 
Alıntı: 
Logic, Language, Information, and Computation Ong, Luke. editor.
46. 
Mathematical Logic for Computer Science için kapak resmi
Mathematical Logic for Computer Science
by 
Ben-Ari, Mordechai. author.
https://doi.org/10.1007/978-1-4471-4129-7
Format: 
Alıntı: 
Mathematical Logic for Computer Science Ben-Ari, Mordechai. author.
47. 
Logic Circuit Design Selected Methods için kapak resmi
Logic Circuit Design Selected Methods
by 
Vingron, Shimon P. author.
https://doi.org/10.1007/978-3-642-27657-6
Format: 
Alıntı: 
Logic Circuit Design Selected Methods / Vingron, Shimon P. author.
48. 
Logic and the Organization of Information için kapak resmi
Logic and the Organization of Information
by 
Frické, Martin. author.
https://doi.org/10.1007/978-1-4614-3088-9
Format: 
Alıntı: 
Logic and the Organization of Information Frické, Martin. author.
Eylem Seç