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. 
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:
50. 
Logically determined design clockless system design with NULL convention logic için kapak resmi
Logically determined design clockless system design with NULL convention logic
Yazar 
Fant, Karl M.
Yer Numarası 
ONLINE
Elektronik Erişim 
Click for information
Available by subscription from Safari Books Online
John Wiley http://dx.doi.org/10.1002/0471702897
MyiLibrary, Table of contents http://www.myilibrary.com?id=25243&ref=toc
Volltext http://proquest.tech.safaribooksonline.de/9780471684787
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
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:
52. 
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:
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. 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:
56. 
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:
57. 
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:
58. 
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:
59. 
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:
60. 
The foundations of mathematics : and other logical essays için kapak resmi
The foundations of mathematics : and other logical essays
Yazar 
Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.
Yer Numarası 
QA 9 R23 1931
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
Eylem Seç