Your search returned 64 results.

Sort
Results
61.
Logic, Rationality, and Interaction [electronic resource] : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / edited by Davide Grossi, Olivier Roy, Huaxin Huang. by Series: Lecture Notes in Computer Science ; 8196
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

62.
Reactive Kripke Semantics [electronic resource] / by Dov M. Gabbay. by Series: Cognitive Technologies
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

63.
Pristine Perspectives on Logic, Language, and Computation [electronic resource] : ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers / edited by Margot Colinet, Sophia Katrenko, Rasmus K. Rendsvig. by Series: Lecture Notes in Computer Science ; 8607
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

64.
Mathematical Logic [electronic resource] : Foundations for Information Science / by Wei Li. by Series: Progress in Computer Science and Applied Logic (PCS) ; 25
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Basel : Birkhäuser Basel, 2010 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Pages

Maintained by VTU Library