Limit Search Results
Author
SpringerLink (Online service)
(7)
Rossini, Gioacchino, 1792-1868.
(2)
Abreu, Pedro H. editor.
(1)
Adami, Filippo.
(1)
Ali, Parveen. editor.
(1)
Language
Publication Date
-
Subject
Logic programming -- Congresses.
(3)
Logische Programmierung.
(3)
abduction.
(3)
programmation en logique.
(3)
Artificial intelligence.
(2)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
19 Results Found Subscribe to search results
0000000000000000000DEFAULT
Print
1. 
Cover image for Geospatial Abduction Principles and Practice
Geospatial Abduction Principles and Practice
Author 
Shakarian, Paulo. author. Subrahmanian, V. S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1794-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for The reach of abduction insight and trial
The reach of abduction insight and trial
Author 
Gabbay, Dov M., 1945- Woods, John (John Hayden)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444517913
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Battered women, their children, and international law the unintended consequences of the Hague Child Abduction Convention
Battered women, their children, and international law the unintended consequences of the Hague Child Abduction Convention
Author 
Lindhorst, Taryn. Edleson, Jeffrey L. Project Muse.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text available:
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Kidnapping and abduction : minimizing the threat and lessons in survival
Kidnapping and abduction : minimizing the threat and lessons in survival
Author 
Heard, Brian J., author.
Preferred Shelf Number 
ONLINE(356380.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for International child abduction the inadequacies of the law
International child abduction the inadequacies of the law
Author 
Kruger, Thalia.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=420451
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery
Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery
Author 
Magnani, Lorenzo. editor. Carnielli, Walter. editor. Pizzi, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15223-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Author 
Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520788.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-24841-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Discovery Science 26th International Conference, DS 2023, Porto, Portugal, October 9-11, 2023, Proceedings
Discovery Science 26th International Conference, DS 2023, Porto, Portugal, October 9-11, 2023, Proceedings
Author 
Bifet, Albert. editor. Lorena, Ana Carolina. editor. Ribeiro, Rita P. editor. Gama, João. editor. Abreu, Pedro H. editor.
Preferred Shelf Number 
XX(521228.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-45275-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Gender-Based Violence: A Comprehensive Guide
Gender-Based Violence: A Comprehensive Guide
Author 
Ali, Parveen. editor. Rogers, Michaela M. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521701.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-05640-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings
Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings
Author 
Hermenegildo, Manuel V. editor. Morales, José F. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521258.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-44245-2
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for AIxIA 2023 - Advances in Artificial Intelligence XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings
AIxIA 2023 - Advances in Artificial Intelligence XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings
Author 
Basili, Roberto. editor. Lembo, Domenico. editor. Limongelli, Carla. editor. Orlandini, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521280.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-47546-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Home Evim
Home Evim
Author 
Johnson, Tim. Astle, Tom J., screenwriter. Ember, Matt, screenwriter. Soria, Mireille, film producer. Buirgy, Suzanne, film producer.
Preferred Shelf Number 
PN1997.5 H66 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
13. 
Cover image for Il turco in Italia
Il turco in Italia
Author 
Rossini, Gioacchino, 1792-1868. Rossini, Gioacchino, 1792-1868 Romani, Felice, 1788-1865 Allemandi, Antonello. De Monticelli, Guido, director.
Preferred Shelf Number 
M1500.R87 T87 2009
Format: 
Availability 
Conservatory Library~1
Available:
Copies:
14. 
Cover image for Il barbiere di siviglia
Il barbiere di siviglia
Author 
Rossini, Gioacchino, 1792-1868. Garrett, Nick, 1959- Serreau, Cloine. Laforge, Jean. Campanella, Bruno.
Preferred Shelf Number 
M1504.T34 P57 2006
Format: 
Availability 
Conservatory Library~1
Available:
Copies:
15. 
Cover image for Freedomland Kayıp yaşamlar
Freedomland Kayıp yaşamlar
Author 
Rudin, Scott, 1958- Price, Richard, 1949- Roth, Joe, 1948- Jackson, Samuel L. Moore, Julianne.
Preferred Shelf Number 
PN1995.9.D4 F74 2006
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
16. 
Cover image for The story of the daughters of Quchan : gender and national memory in Iranian history
The story of the daughters of Quchan : gender and national memory in Iranian history
Author 
Najmabadi, Afsaneh, 1946-
Preferred Shelf Number 
HQ1735.2.Z9 Q36 1998
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
17. 
Cover image for Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming
Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming
Author 
Joint International Conference and Symposium on Logic Programming (1996 : Bonn, Germany) Maher, Michael, 1959-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Logic programming proceedings of the twelfth International Conference on Logic Programming
Logic programming proceedings of the twelfth International Conference on Logic Programming
Author 
Sterling, Leon.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267523
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Logic programming proceedings of the eleventh International Conference on Logic Programming
Logic programming proceedings of the eleventh International Conference on Logic Programming
Author 
Van Hentenryck, Pascal.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351
Format: 
Availability 
Online Library~1
Available:
Copies: