Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(147)
Wiley InterScience (Online service)
(5)
Risby, Bonnie Lou.
(4)
Crawford, Dean.
(3)
Leite, João. editor.
(3)
Dil
Konu
Computer science.
(119)
Logic design.
(110)
Software engineering.
(70)
Artificial intelligence.
(43)
Computer Communication Networks.
(32)
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ç
198 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
49. 
Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers için kapak resmi
Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers
Yazar 
Faltings, Boi V. editor. Petcu, Adrian. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b106890
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings için kapak resmi
Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings
Yazar 
Baader, Franz. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b106931
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Reasoning Robots The Art and Science of Programming Robotic Agents için kapak resmi
Reasoning Robots The Art and Science of Programming Robotic Agents
Yazar 
Thielscher, Michael. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-3069-X
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
A Modern Perspective on Type Theory From its Origins until Today için kapak resmi
A Modern Perspective on Type Theory From its Origins until Today
Yazar 
Kamareddine, Fairouz. author. Laan, Twan. author. Nederpelt, Rob. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-2335-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
The reach of abduction insight and trial için kapak resmi
The reach of abduction insight and trial
Yazar 
Gabbay, Dov M., 1945- Woods, John (John Hayden)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444517913
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
Anaphora and Type Logical Grammar için kapak resmi
Anaphora and Type Logical Grammar
Yazar 
JÄger, Gerhard. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-3905-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
Nature's principles için kapak resmi
Nature's principles
Yazar 
Faye, Jan.
Yer Numarası 
BD581 .B35 2005
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
56. 
Nature's Principles için kapak resmi
Nature's Principles
Yazar 
Faye, Jan. Needham, Paul. Scheffler, Uwe. Urchs, Max. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-3258-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
A treatise on induction and probability için kapak resmi
A treatise on induction and probability
Yazar 
Wright, Georg Henrik von, 1916-
Yer Numarası 
BC 91 W72 1951 (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
58. 
Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of induction için kapak resmi
Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of induction
Yazar 
Nicod, Jean, 1893-1924.
Yer Numarası 
QA 681 N5 1930 (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
59. 
Logical studies için kapak resmi
Logical studies
Yazar 
Wright, Georg Henrik von, 1916-
Yer Numarası 
BC 6 W72 1957 (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
60. 
An examination of logical positivism için kapak resmi
An examination of logical positivism
Yazar 
Weinberg, Julius Rudolf, 1908-
Yer Numarası 
B 824.6 W434 1936 (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
Eylem Seç