Search Results for PROLOG.

Logic with prolog

2024-11-15T16:21:14Z

Author Gibbins, Peter.
Preferred Shelf Number QA 76.73.P76 G53 1988
Format: Books
Availability Beytepe Library~1

Using turbo prolog

2024-11-15T16:21:14Z

Author Rich, Kelly. Robinson, P. R., ort. yaz.
Preferred Shelf Number QA 76.73.P76 R373 1988
Format: Books
Availability Beytepe Library~1

Programming in prolog

2024-11-15T16:21:14Z

Author Clocksin, William F., 1955- Mellish, Christopher S., 1954-
Preferred Shelf Number QA76.73.P76 C56 1996
Format: Books
Availability Beytepe Library~1

The Practice of Prolog

2024-11-15T16:21:14Z

Author Sterling, Leon.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267439
Format: Electronic Resources
Availability Online Library~1

Logic Programming with Prolog

2024-11-15T16:21:14Z

Author Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331207.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5487-7
Format: Electronic Resources
Availability Online Library~1

Logic Programming with Prolog

2024-11-15T16:21:14Z

Author Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-212-8
Format: Electronic Resources
Availability Online Library~1

Prolog : to expert systems

2024-11-15T16:21:14Z

Author Leigh, William E. Smith, A. N., ort. yaz.
Format: Books
Availability ~0

Micro-Prolog : logische programmierung

2024-11-15T16:21:14Z

Author Clark, Keith L. McCabe, G., ort. yaz.
Preferred Shelf Number QA 76.73.M5 C55 1987
Format: Books
Availability Beytepe Library~1

Canterbury hikayeleri : genel prolog

2024-11-15T16:21:14Z

Author Chaucer, Geoffrey, 1328-1400. Erol, Burçin, çev.
Preferred Shelf Number PR 1870.A1 C6 H
Format: Books
Availability Beytepe Library~1

Prolog: The Next 50 Years

2024-11-15T16:21:14Z

Author Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.
Preferred Shelf Number XX(521397.1)
Electronic Access https://doi.org/10.1007/978-3-031-35254-6
Format: Electronic Resources
Availability Online Library~1

Computing with logic : logic programming with prolog

2024-11-15T16:21:14Z

Author Maier, David, 1953- Warren, D. S., ort. yaz.
Preferred Shelf Number QA 76.73.P76 M349 1988
Format: Books
Availability Beytepe Library~1

Language Processing with Perl and Prolog Theories, Implementation, and Application

2024-11-15T16:21:14Z

Author Nugues, Pierre M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-41464-0
Format: Electronic Resources
Availability Online Library~1

An Introduction to Language Processing with Perl and Prolog An Outline of Theories, Implementation, and Application with Special Consideration of English, French, and German

2024-11-15T16:21:14Z

Author Nugues, Pierre M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-34336-9
Format: Electronic Resources
Availability Online Library~1

Der Bajazzo : drama in zwei akten und einem prolog

2024-11-15T16:21:14Z

Author Leoncavallo, Ruggiero, 1858-1919. Hartmann, Ludwig.
Preferred Shelf Number ML50.L582 B35
Electronic Access Elektronik eri?im i�in t?klay?n?z
Format: Books
Availability Conservatory Library~2

Concepts, design, and performance analysis of a parallel prolog machine

2024-11-15T16:21:14Z

Author Beer, Joachim, 1955-
Preferred Shelf Number QA 76.73.P76 B44 1989
Format: Books
Availability Beytepe Library~1

Prolog by exanple : how to learn, teach and use it with 68 figures

2024-11-15T16:21:14Z

Author Coelho, Helder. Cotta, J. C., ort. yaz.
Preferred Shelf Number QA 76.73.P76 C64 1988
Format: Books
Availability Beytepe Library~1

Der Bajazzo (Pagliacci) : Drama in zwei Akten und einem Prolog

2024-11-15T16:21:14Z

Author Leoncavallo, Ruggiero.
Preferred Shelf Number M1503.L582 P215 1892
Format: Music
Availability Conservatory Library~3

Slavnostni predehry

2024-11-15T16:21:14Z

Author Symfonicky orchestr Cs. rozhlasu. Fischer, Eduard, 1930- Pauer, Jiérâi, 1919-2007. Canto festivo. Horkây, Karel, 1909-1988. Slavnostnâi péredehra. Jirâasek, Ivo, 1920-2004. Slavnostnâi péredehra.
Preferred Shelf Number M1001.S96 .S5386 1972
Format: Audio disc
Availability Conservatory Library~1

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

2024-11-15T16:21:14Z

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: Electronic Resources
Availability Online Library~1

Logic programming languages constraints, functions, and objects

2024-11-15T16:21:14Z

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: Electronic Resources
Availability Online Library~1

Logic programming proceedings of the Tenth International Conference on Logic Programming

2024-11-15T16:21:14Z

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: Electronic Resources
Availability Online Library~1

Warren's abstract machine a tutorial reconstruction

2024-11-15T16:21:14Z

Author Aït-Kaci, Hassan, 1954-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208
Format: Electronic Resources
Availability Online Library~1

Algorithmic program debugging

2024-11-15T16:21:14Z

Author Shapiro, Ehud Y.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267335
Format: Electronic Resources
Availability Online Library~1