Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(1242)
Voronkov, Andrei. editor.
(15)
Boer, Frank S. editor.
(10)
Bonsangue, Marcello M. editor.
(10)
Rozenberg, Grzegorz. editor.
(9)
Dil
Yayın Yılı
-
2013
(164)
2011
(139)
2012
(133)
2007
(132)
2005
(119)
Konu
Logic design.
(1027)
Software engineering.
(743)
Artificial intelligence.
(418)
Computer Communication Networks.
(290)
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ç
1243 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
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:
26. 
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:
27. 
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:
28. 
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:
29. 
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:
30. 
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:
31. 
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:
32. 
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:
33. 
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:
34. 
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings için kapak resmi
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Yazar 
Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-95582-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings için kapak resmi
Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings
Yazar 
Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703 Bellodi, Elena. editor. (orcid)0000-0002-3717-3779 Zese, Riccardo. editor. (orcid)0000-0001-8352-6304 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-99960-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings için kapak resmi
Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings
Yazar 
Rusu, Vlad. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-99840-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets