Limit Search Results
Author
Publication Date
-
Subject
PROLOG (BİLGİSAYAR PROGRAMLAMA DİLİ).
(5)
PROLOG.
(5)
Prolog (Computer program language)
(4)
programmation en logique.
(4)
Computer science.
(3)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
19 Results Found Subscribe to search results
0000000DEFAULT
Print
13. 
Cover image for Concepts, design, and performance analysis of a parallel prolog machine
Concepts, design, and performance analysis of a parallel prolog machine
Author 
Beer, Joachim, 1955-
Preferred Shelf Number 
QA 76.73.P76 B44 1989
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
14. 
Cover image for Prolog by exanple : how to learn, teach and use it with 68 figures
Prolog by exanple : how to learn, teach and use it with 68 figures
Author 
Coelho, Helder. Cotta, J. C., ort. yaz.
Preferred Shelf Number 
QA 76.73.P76 C64 1988
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
15. 
Cover image for Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
Author 
Proietti, Maurizio. editor. Seki, Hirohisa. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518775.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17822-6
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Logic programming proceedings of the Tenth International Conference on Logic Programming
Logic programming proceedings of the Tenth International Conference on Logic Programming
Author 
International Conference on Logic Programming (10th : 1993 : Budapest, Hungary) Warren, David S.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267525
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Logic programming languages constraints, functions, and objects
Logic programming languages constraints, functions, and objects
Author 
Apt, Krzysztof R., 1949- Bakker, J. W. de (Jacobus Willem), 1939- Rutten, J. J. M. M.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Warren's abstract machine a tutorial reconstruction
Warren's abstract machine a tutorial reconstruction
Author 
Aït-Kaci, Hassan, 1954-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Algorithmic program debugging
Algorithmic program debugging
Author 
Shapiro, Ehud Y.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267335
Format: 
Availability 
Online Library~1
Available:
Copies: