Search Results for Logic programming.

5 Results Found

00000DEFAULT

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings

Author

Hagiya, Masami. editor. Wadler, Philip. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11737414

Format:

Availability

Online Library~1

Available:
Copies:

Parallel and Distributed Logic Programming Towards the Design of a Framework for the Next Generation Database Machines

Author

Bhattacharya, Alakananda. author. Konar, Amit. author. Mandal, Ajit K. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-33459-0

Format:

Availability

Online Library~1

Available:
Copies:

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

Author

Etalle, Sandro. editor. Truszczyński, Mirosław. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11799573

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings

Author

Hermann, Miki. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11916277

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers

Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers

Author

Hnich, Brahim. editor. Carlsson, Mats. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11754602

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}