Search Results for Logic programming. - Narrowed by: Beytepe Library
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$002bprogramming.$0026qf$003dLIBRARY$002509Library$0025091$00253ABEYTEPE$002509Beytepe$002bLibrary$0026ic$003dtrue$0026ps$003d300?
2024-11-06T18:25:33Z
Logic tools programming
ent://SD_ILS/0/SD_ILS:32217
2024-11-06T18:25:33Z
2024-11-06T18:25:33Z
Author Pace, Philip, 1956- Pace, L., ort. yaz.<br/>Preferred Shelf Number QA 76.6 P325 1987<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic programming and databases
ent://SD_ILS/0/SD_ILS:69851
2024-11-06T18:25:33Z
2024-11-06T18:25:33Z
Author Ceri, Stefano, 1955- Gottlob, G., ort. yaz. Tanca, L., ort. yaz.<br/>Preferred Shelf Number QA 76.63 C47 1990<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Foundations of logic programming
ent://SD_ILS/0/SD_ILS:72686
2024-11-06T18:25:33Z
2024-11-06T18:25:33Z
Author Lloyd, John Wylie, 1947-<br/>Preferred Shelf Number QA 76.6 L538 1987<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Systems programming in parallel logic languages
ent://SD_ILS/0/SD_ILS:32234
2024-11-06T18:25:33Z
2024-11-06T18:25:33Z
Author Foster, Ian, 1959-<br/>Preferred Shelf Number QA 76.66 F67 1990<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Foundations of equational logic programming
ent://SD_ILS/0/SD_ILS:32233
2024-11-06T18:25:33Z
2024-11-06T18:25:33Z
Author Hölldobler, Steffen, 1957-<br/>Preferred Shelf Number QA 76.63 H65 1989<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic programming and knowledge engineering
ent://SD_ILS/0/SD_ILS:32178
2024-11-06T18:25:33Z
2024-11-06T18:25:33Z
Author Amble, Tore, 1945-<br/>Preferred Shelf Number QA 76.6 A464 1987<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Mathematical logic and programming languages
ent://SD_ILS/0/SD_ILS:72687
2024-11-06T18:25:33Z
2024-11-06T18:25:33Z
Author Hoare, C. A. R., ed. Shepherdson, J. C., ed.<br/>Preferred Shelf Number QA 9 M42 1985<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Analog/logic computer programming and simulation
ent://SD_ILS/0/SD_ILS:34615
2024-11-06T18:25:33Z
2024-11-06T18:25:33Z
Author Ricci, Fred J.<br/>Preferred Shelf Number QA 76.4 R53 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Computing with logic : logic programming with prolog
ent://SD_ILS/0/SD_ILS:32328
2024-11-06T18:25:33Z
2024-11-06T18:25:33Z
Author Maier, David, 1953- Warren, D. S., ort. yaz.<br/>Preferred Shelf Number QA 76.73.P76 M349 1988<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
LISP, lore and logic : an algebraic view of LISP programming, foundations, and applications
ent://SD_ILS/0/SD_ILS:70720
2024-11-06T18:25:33Z
2024-11-06T18:25:33Z
Author Stark, W. Richard.<br/>Preferred Shelf Number QA 76.73.L23 S72 1990<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Interactive relational database design : a logic programming implementation
ent://SD_ILS/0/SD_ILS:69849
2024-11-06T18:25:33Z
2024-11-06T18:25:33Z
Author Bagchi, Tapan P.<br/>Preferred Shelf Number QA 76.9.D26 B34 1989<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Discrete structures, logic, and computability
ent://SD_ILS/0/SD_ILS:268313
2024-11-06T18:25:33Z
2024-11-06T18:25:33Z
Author Hein, James L.<br/>Preferred Shelf Number QA76.9.M35 H44 2010<br/>Format: Books<br/>Availability Beytepe Library~1<br/>