Results
|
|
1.
|
Logic and Structure [electronic resource] / by Dirk van Dalen. by
- Dalen, Dirk van [author.]
- SpringerLink (Online service)
Series: Universitext
Edition: 5th ed. 2013.
Source: Springer eBooks
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Availability: No items available.
|
|
|
2.
|
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings / edited by Sergei Artemov, Anil Nerode. by
- Artemov, Sergei [editor.]
- Nerode, Anil [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7734
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
3.
|
|
|
|
4.
|
|
|
|
5.
|
|
|
|
6.
|
|
|
|
7.
|
|
|
|
8.
|
|
|
|
9.
|
|
|
|
10.
|
Logic, sets, and recursion / Robert L. Causey. by
Edition: 2nd ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Sudbury, Mass. : Jones and Bartlett Publishers, c2006
Availability: Items available for loan: Central Library, SUST (2)Call number: 511.3 CAL, ...
|
|
|
11.
|
Logic, Language, Information, and Computation [electronic resource] : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings / edited by Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz. by
- Libkin, Leonid [editor.]
- Kohlenbach, Ulrich [editor.]
- Queiroz, Ruy de [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8071
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
12.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov. by
- McMillan, Ken [editor.]
- Middeldorp, Aart [editor.]
- Voronkov, Andrei [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8312
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
13.
|
|
|
|
14.
|
Paraconsistency: Logic and Applications [electronic resource] / edited by Koji Tanaka, Francesco Berto, Edwin Mares, Francesco Paoli. by
- Tanaka, Koji [editor.]
- Berto, Francesco [editor.]
- Mares, Edwin [editor.]
- Paoli, Francesco [editor.]
- SpringerLink (Online service)
Series: Logic, Epistemology, and the Unity of Science ; 26
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013
Availability: No items available.
|
|
|
15.
|
Logic, Language, and Computation [electronic resource] : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers / edited by Guram Bezhanishvili, Sebastian Löbner, Vincenzo Marra, Frank Richter. by
- Bezhanishvili, Guram [editor.]
- Löbner, Sebastian [editor.]
- Marra, Vincenzo [editor.]
- Richter, Frank [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7758
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
16.
|
Logic, rationality, and interaction : third international workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings / Hans van Ditmarsch, J�er�ome Lang, Shier Ju (eds.). by
- LORI (Workshop) (3rd : 2011 : Guangzhou, China)
- Ditmarsch, Hans van, 1959- [editor of compilation.]
- Lang, J�er�ome [editor of compilation.]
- Ju, Shier [editor of compilation.]
Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; 6953 | LNCS sublibrary. SL 7, Artificial intelligence
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Verlag Berlin. : Springer. 2011
Availability: Items available for loan: Central Library, SUST (3)Call number: 621.395 LOG, ...
|
|
|
17.
|
|
|
|
18.
|
Inductive Logic Programming [electronic resource] : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers / edited by Fabrizio Riguzzi, Filip Železný. by
- Riguzzi, Fabrizio [editor.]
- Železný, Filip [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7842
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
19.
|
|
|
|
20.
|
|
