Yazar
International Conference on Logic Programming (10th : 1993 : Budapest, Hungary) Warren, David S.
Yer Numarası
ONLINE
Elektronik Erişim
Format:
Durum
Çevrimiçi Kütüphane~1
Kopya:
Yazar
Apt, Krzysztof R., 1949- Bakker, J. W. de (Jacobus Willem), 1939- Rutten, J. J. M. M.
Yer Numarası
ONLINE
Elektronik Erişim
Format:
Durum
Çevrimiçi Kütüphane~1
Kopya:
Yazar
Aït-Kaci, Hassan, 1954-
Yer Numarası
ONLINE
Elektronik Erişim
Format:
Durum
Çevrimiçi Kütüphane~1
Kopya:
Yazar
McCarthy, John, 1927-2011. Lifschitz, Vladimir.
Yer Numarası
ONLINE
Elektronik Erişim
ScienceDirect http://www.sciencedirect.com/science/book/9780124500105
Format:
Durum
Çevrimiçi Kütüphane~1
Kopya:
Yazar
Workshop on Computational Learning Theory (3rd : 1990 : Rochester, N.Y.) Fulk, Mark A. Case, John, 1942- ACM Special Interest Group for Automata and Computability Theory. SIGART.
Yer Numarası
ONLINE
Elektronik Erişim
ScienceDirect http://www.sciencedirect.com/science/book/9781558601468
Format:
Durum
Çevrimiçi Kütüphane~1
Kopya:
Yazar
Karpovsky, Mark G. International Workshop on Spectral Techniques and Fault Detection (1983 : Boston, Mass.)
Yer Numarası
ONLINE
Elektronik Erişim
ScienceDirect http://www.sciencedirect.com/science/book/9780124000605
Format:
Durum
Çevrimiçi Kütüphane~1
Kopya:
Yazar
Shapiro, Ehud Y.
Yer Numarası
ONLINE
Elektronik Erişim
Format:
Durum
Çevrimiçi Kütüphane~1
Kopya:
Yazar
Logic Colloquium (1980 : Prague, Czech Republic) Dalen, D. van (Dirk), 1932- Lascar, D. (Daniel), 1942- Smiley, T. J. (Timothy John) Association for Symbolic Logic.
Yer Numarası
ONLINE
Elektronik Erişim
ScienceDirect http://www.sciencedirect.com/science/book/9780444864659
Format:
Durum
Çevrimiçi Kütüphane~1
Kopya:
Yazar
Craig, William, 1918-
Yer Numarası
ONLINE
Elektronik Erişim
ScienceDirect http://www.sciencedirect.com/science/book/9780444104779
Format:
Durum
Çevrimiçi Kütüphane~1
Kopya: