Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(1517)
Voronkov, Andrei. editor.
(16)
Boer, Frank S. editor.
(10)
Bonsangue, Marcello M. editor.
(10)
Rozenberg, Grzegorz. editor.
(10)
Dil
Yayın Yılı
-
2013
(164)
2011
(139)
2012
(133)
2007
(132)
2005
(119)
Konu
Logic design.
(1029)
Software engineering.
(928)
Artificial intelligence.
(506)
Computer Communication Networks.
(325)
Computer software.
(234)
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ç
1518 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Temporal Logic and State Systems için kapak resmi
Temporal Logic and State Systems
Yazar 
Kröger, Fred. author. Merz, Stephan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-68635-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Rigid Flexibility The Logic of Intelligence için kapak resmi
Rigid Flexibility The Logic of Intelligence
Yazar 
Wang, Pei. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-5045-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
A Concise Introduction to Mathematical Logic için kapak resmi
A Concise Introduction to Mathematical Logic
Yazar 
Rautenberg, Wolfgang. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-34241-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV için kapak resmi
Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV
Yazar 
Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-9084-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Mathematics of Fuzzy Sets and Fuzzy Logic için kapak resmi
Mathematics of Fuzzy Sets and Fuzzy Logic
Yazar 
Bede, Barnabas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333950.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35221-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Logic Functions and Equations Examples and Exercises için kapak resmi
Logic Functions and Equations Examples and Exercises
Yazar 
Steinbach, Bernd. author. Posthoff, Christian. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-9595-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Probabilistic Inductive Logic Programming Theory and Applications için kapak resmi
Probabilistic Inductive Logic Programming Theory and Applications
Yazar 
Raedt, Luc. editor. Frasconi, Paolo. editor. Kersting, Kristian. editor. Muggleton, Stephen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78652-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Computation Engineering Applied Automata Theory and Logic için kapak resmi
Computation Engineering Applied Automata Theory and Logic
Yazar 
Gopalakrishnan, Ganesh. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-32520-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Multi-valued Logic for Decision-Making Under Uncertainty için kapak resmi
Multi-valued Logic for Decision-Making Under Uncertainty
Yazar 
Kagan, Evgeny. author. Rybalov, Alexander. author. Yager, Ronald. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-74762-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas için kapak resmi
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Yazar 
Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-85352-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method için kapak resmi
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
Yazar 
Cellucci, Carlo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(336157.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-6091-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Proof, Computation and Agency Logic at the Crossroads için kapak resmi
Proof, Computation and Agency Logic at the Crossroads
Yazar 
van Benthem, Johan. editor. Gupta, Amitabha. editor. Parikh, Rohit. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-0080-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç