Limit Search Results
Author
Voronkov, Andrei. editor.
(11)
Fages, François. editor.
(5)
Rossi, Francesca. editor.
(5)
Hanus, Michael. editor.
(3)
Pontelli, Enrico. editor.
(3)
Language
English
(120)
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
120 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Logic Programming with Prolog
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:
2. 
Cover image for Logic Programming with Prolog
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:
3. 
Cover image for Logic and Integer Programming
Logic and Integer Programming
Author 
Williams, H. Paul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-92280-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Probabilistic Inductive Logic Programming Theory and Applications
Probabilistic Inductive Logic Programming Theory and Applications
Author 
Raedt, Luc. editor. Frasconi, Paolo. editor. Kersting, Kristian. editor. Muggleton, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78652-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings
Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings
Author 
Bellodi, Elena. editor. Lisi, Francesca Alessandra. editor. Zese, Riccardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521376.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-49299-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
Author 
Silva, Josep. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-16202-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings
Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings
Author 
Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054 Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20528-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings
Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings
Author 
Gallagher, John P. editor. (orcid)0000-0001-6984-7419 Sulzmann, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90686-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings
Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings
Author 
Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703 Bellodi, Elena. editor. (orcid)0000-0002-3717-3779 Zese, Riccardo. editor. (orcid)0000-0001-8352-6304 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99960-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers
Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers
Author 
Lachiche, Nicolas. editor. Vrain, Christel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78090-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers
Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers
Author 
Davis, Jesse. editor. Ramon, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519102.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23708-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Author 
Davis, Martin. editor. Fehnker, Ansgar. editor. McIver, Annabelle. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519103.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48899-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action