Search Results for PROLOG.

11 Results Found

00000000000DEFAULT

The Practice of Prolog

Author

Sterling, Leon.

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267439

Format:

Availability

Online Library~1

Available:
Copies:

Logic Programming with Prolog

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:

Availability

Online Library~1

Available:
Copies:

Logic Programming with Prolog

Author

Bramer, Max. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-84628-212-8

Format:

Availability

Online Library~1

Available:
Copies:

Prolog: The Next 50 Years

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:

Availability

Online Library~1

Available:
Copies:

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

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:

Availability

Online Library~1

Available:
Copies:

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

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

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:

Availability

Online Library~1

Available:
Copies:

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:

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:

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:

10.

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:

11.

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:

	{displayName}	{count}
{error}