Arama Sonuçları Logic programming. - Daraltılmış: Beytepe Kütüphanesi
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLogic$002bprogramming.$0026qf$003dLIBRARY$002509K$0025C3$0025BCt$0025C3$0025BCphane$0025091$00253ABEYTEPE$002509Beytepe$002bK$0025C3$0025BCt$0025C3$0025BCphanesi$0026pe$003dd$00253A$0026ic$003dtrue$0026ps$003d300?
2025-01-13T23:52:18Z
Logic tools programming
ent://SD_ILS/0/SD_ILS:32217
2025-01-13T23:52:18Z
2025-01-13T23:52:18Z
Yazar Pace, Philip, 1956- Pace, L., ort. yaz.<br/>Yer Numarası QA 76.6 P325 1987<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Logic programming and databases
ent://SD_ILS/0/SD_ILS:69851
2025-01-13T23:52:18Z
2025-01-13T23:52:18Z
Yazar Ceri, Stefano, 1955- Gottlob, G., ort. yaz. Tanca, L., ort. yaz.<br/>Yer Numarası QA 76.63 C47 1990<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Foundations of logic programming
ent://SD_ILS/0/SD_ILS:72686
2025-01-13T23:52:18Z
2025-01-13T23:52:18Z
Yazar Lloyd, John Wylie, 1947-<br/>Yer Numarası QA 76.6 L538 1987<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Systems programming in parallel logic languages
ent://SD_ILS/0/SD_ILS:32234
2025-01-13T23:52:18Z
2025-01-13T23:52:18Z
Yazar Foster, Ian, 1959-<br/>Yer Numarası QA 76.66 F67 1990<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Foundations of equational logic programming
ent://SD_ILS/0/SD_ILS:32233
2025-01-13T23:52:18Z
2025-01-13T23:52:18Z
Yazar Hölldobler, Steffen, 1957-<br/>Yer Numarası QA 76.63 H65 1989<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Logic programming and knowledge engineering
ent://SD_ILS/0/SD_ILS:32178
2025-01-13T23:52:18Z
2025-01-13T23:52:18Z
Yazar Amble, Tore, 1945-<br/>Yer Numarası QA 76.6 A464 1987<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Mathematical logic and programming languages
ent://SD_ILS/0/SD_ILS:72687
2025-01-13T23:52:18Z
2025-01-13T23:52:18Z
Yazar Hoare, C. A. R., ed. Shepherdson, J. C., ed.<br/>Yer Numarası QA 9 M42 1985<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Analog/logic computer programming and simulation
ent://SD_ILS/0/SD_ILS:34615
2025-01-13T23:52:18Z
2025-01-13T23:52:18Z
Yazar Ricci, Fred J.<br/>Yer Numarası QA 76.4 R53 1973<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Computing with logic : logic programming with prolog
ent://SD_ILS/0/SD_ILS:32328
2025-01-13T23:52:18Z
2025-01-13T23:52:18Z
Yazar Maier, David, 1953- Warren, D. S., ort. yaz.<br/>Yer Numarası QA 76.73.P76 M349 1988<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
LISP, lore and logic : an algebraic view of LISP programming, foundations, and applications
ent://SD_ILS/0/SD_ILS:70720
2025-01-13T23:52:18Z
2025-01-13T23:52:18Z
Yazar Stark, W. Richard.<br/>Yer Numarası QA 76.73.L23 S72 1990<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Interactive relational database design : a logic programming implementation
ent://SD_ILS/0/SD_ILS:69849
2025-01-13T23:52:18Z
2025-01-13T23:52:18Z
Yazar Bagchi, Tapan P.<br/>Yer Numarası QA 76.9.D26 B34 1989<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Discrete structures, logic, and computability
ent://SD_ILS/0/SD_ILS:268313
2025-01-13T23:52:18Z
2025-01-13T23:52:18Z
Yazar Hein, James L.<br/>Yer Numarası QA76.9.M35 H44 2010<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>