Results
|
|
1.
|
|
|
|
2.
|
|
|
|
3.
|
|
|
|
4.
|
|
|
|
5.
|
|
|
|
6.
|
|
|
|
7.
|
The nature of computation : logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings / Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.). by Series: Lecture notes in computer science ; 7921. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type:  Text; Format:
available online
 ; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2013
In:
Springer eBooks
Availability: Items available for loan: e-Library (1).
|
|
|
8.
|
|
|
|
9.
|
Logic, Language, Information, and Computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 : proceedings / Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz (eds.). by Series: Lecture notes in computer science ; 8071.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin : Springer, [2013]Copyright date: ©2013
Availability: Items available for loan: e-Library (1).
|
|
|
10.
|
Logic, rationality, and interaction : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / Davide Grossi, Olivier Roy, Huaxin Huang (eds.). by Series: Lecture notes in computer science ; 8196. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Heidelberg : Springer, [2013]Copyright date: ©2013
Availability: Items available for loan: e-Library (1).
|
|
|
11.
|
Interactive theorem proving : 5th International Conference, ITP 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / Gerwin Klein, Ruben Gamboa (Eds.). by Series: Lecture notes in computer science ; 8558. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2014]Copyright date: ©2014
Availability: Items available for loan: e-Library (1).
|
|
|
12.
|
Inductive logic programming : 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised selected papers / Gerson Zaverucha, Vítor Santos Costa, Aline Paes (eds.). by Series: Lecture notes in computer science ; 8812. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Heidelberg : Springer, 2014
Availability: Items available for loan: e-Library (1).
|
|
|
13.
|
|
|
|
14.
|
|
|
|
15.
|
|
|
|
16.
|
|
|
|
17.
|
|
|
|
18.
|
|
|
|
19.
|
|
|
|
20.
|
|