Limit Search Results
Author
SpringerLink (Online service)
(133)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(4)
Schmidt, Renate A. editor.
(3)
Anwar, Sajid. editor. (orcid)0000-0003-3393-1656
(2)
Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408
(2)
Language
English
(161)
Publication Date
-
Subject
Computer science.
(80)
Computer Science Logic and Foundations of Programming.
(73)
Software engineering.
(65)
Formal Languages and Automata Theory.
(58)
Machine theory.
(58)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
161 Results Found Subscribe to search results
00000DEFAULT
Print
1. 
Cover image for Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
Author 
Cariani, Fabrizio. editor. Grossi, Davide. editor. Meheus, Joke. editor. Parent, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08615-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers
Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers
Author 
Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Rocha, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08909-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Game ai pro : collected wisdom of game ai professionals
Game ai pro : collected wisdom of game ai professionals
Author 
Rabin, Steven, editor. Taylor and Francis.
Preferred Shelf Number 
QA76.76 .C672
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Artificial intelligence for games
Artificial intelligence for games
Author 
Millington, Ian. Funge, John David, 1968-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123747310
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy
Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy
Author 
McCarthy, John, 1927-2011. Lifschitz, Vladimir.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124500105
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action