Refine your search

Your search returned 158 results.

Not what you expected? Check for suggestions
Sort
Results
21.
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
  • Grossi, Davide [editor.]
  • Roy, Olivier [editor.]
  • Huang, Huaxin [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8196
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

22.
A Logical Introduction to Proof [electronic resource] / by Daniel W. Cunningham. by
  • Cunningham, Daniel W [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Availability: No items available.

23.
Uncertainty Reasoning for the Semantic Web II [electronic resource] : International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers / edited by Fernando Bobillo, Paulo C. G. Costa, Claudia d’Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool. by
  • Bobillo, Fernando [editor.]
  • Costa, Paulo C. G [editor.]
  • d’Amato, Claudia [editor.]
  • Fanizzi, Nicola [editor.]
  • Laskey, Kathryn B [editor.]
  • Laskey, Kenneth J [editor.]
  • Lukasiewicz, Thomas [editor.]
  • Nickles, Matthias [editor.]
  • Pool, Michael [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7123
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

24.
Frontiers of Combining Systems [electronic resource] : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings / edited by Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt. by
  • Fontaine, Pascal [editor.]
  • Ringeissen, Christophe [editor.]
  • Schmidt, Renate A [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8152
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

25.
Notes on logic and set theory / P.T. Johnstone. by
  • Johnstone, P. T
Series: Cambridge mathematical textbooks
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1987
Online access:
Availability: Items available for loan: Central Library, SUST (1)Call number: 511.3 JON.

26.
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings / edited by Pedro Cabalar, Tran Cao Son. by
  • Cabalar, Pedro [editor.]
  • Son, Tran Cao [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8148
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

27.
Automated Deduction – CADE-24 [electronic resource] : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings / edited by Maria Paola Bonacina. by
  • Bonacina, Maria Paola [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7898
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

28.
Belief Revision in Non-Classical Logics [electronic resource] / by Márcio Moretto Ribeiro. by
  • Ribeiro, Márcio Moretto [author.]
  • SpringerLink (Online service)
Series: SpringerBriefs in Computer Science
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Availability: No items available.

29.
Formal Languages and Compilation [electronic resource] / by Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti. by
  • Crespi Reghizzi, Stefano [author.]
  • Breveglieri, Luca [author.]
  • Morzenti, Angelo [author.]
  • SpringerLink (Online service)
Series: Texts in Computer Science
Edition: 2nd ed. 2013.
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Availability: No items available.

30.
Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 / edited by C.A. Di Prisco. by
  • Di Prisco, C. A
Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, c1985
Availability: Items available for loan: Central Library, SUST (6)Call number: 511.3 MET, ...

31.
The foundations of analysis : a straightforward introduction / K.G. Binmore. by
  • Binmore, K. G, 1940-
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge [Eng.] ; New York : Cambridge University Press, 1980-1981
Availability: Items available for loan: Central Library, SUST (1)Call number: 515 BIF.

32.
Fallacies in mathematics / byE.A. Maxwell. by
  • Maxwell, E. A. (Edwin Arthur)
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge, UK ; New York : Cambridge University Press, 2006
Availability: Items available for loan: Central Library, SUST (2)Call number: 793.74 MAF, ...

33.
Mathematics, Computer Science and Logic - A Never Ending Story [electronic resource] : The Bruno Buchberger Festschrift / edited by Peter Paule. by
  • Paule, Peter [editor.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

34.
On Fuzziness [electronic resource] : A Homage to Lotfi A. Zadeh – Volume 2 / edited by Rudolf Seising, Enric Trillas, Claudio Moraga, Settimo Termini. by
  • Seising, Rudolf [editor.]
  • Trillas, Enric [editor.]
  • Moraga, Claudio [editor.]
  • Termini, Settimo [editor.]
  • SpringerLink (Online service)
Series: Studies in Fuzziness and Soft Computing ; 299
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

35.
Logical Foundations of Mathematics and Computational Complexity [electronic resource] : A Gentle Introduction / by Pavel Pudlák. by
  • Pudlák, Pavel [author.]
  • SpringerLink (Online service)
Series: Springer Monographs in Mathematics
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Heidelberg : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

36.
On Fuzziness [electronic resource] : A Homage to Lotfi A. Zadeh – Volume 1 / edited by Rudolf Seising, Enric Trillas, Claudio Moraga, Settimo Termini. by
  • Seising, Rudolf [editor.]
  • Trillas, Enric [editor.]
  • Moraga, Claudio [editor.]
  • Termini, Settimo [editor.]
  • SpringerLink (Online service)
Series: Studies in Fuzziness and Soft Computing ; 298
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

37.
Modelling Computing Systems [electronic resource] : Mathematics for Computer Science / by Faron Moller, Georg Struth. by
  • Moller, Faron [author.]
  • Struth, Georg [author.]
  • SpringerLink (Online service)
Series: Undergraduate Topics in Computer Science
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Availability: No items available.

38.
Logic, language, information, and computation : 18th International Workshop,WoLLIC2011 Philadephia, PA, USA, May 18-20, 2011 Proceedings / Lev D. Beklemishev, Ruy de queiroz(eds.). by
  • Workshop on Logic, Language, Information and Computation (20th : 2013 : Darmstadt, Germany)
  • Beklemishev, Lev D
  • [Queiroz, Ruy de queiroz]
Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin. : Springer. 2011
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.1015113 LOG, ...

39.
Computer Science – Theory and Applications [electronic resource] : 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings / edited by Andrei A. Bulatov, Arseny M. Shur. by
  • Bulatov, Andrei A [editor.]
  • Shur, Arseny M [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7913
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

40.
Fuzzy Logic and Applications [electronic resource] : 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings / edited by Francesco Masulli, Gabriella Pasi, Ronald Yager. by
  • Masulli, Francesco [editor.]
  • Pasi, Gabriella [editor.]
  • Yager, Ronald [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8256
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

Pages