|
|
181.
|
Cylindric-like Algebras and Algebraic Logic [electronic resource] / edited by Hajnal Andréka, Miklós Ferenczi, István Németi.
by Andréka, Hajnal [editor.] | Ferenczi, Miklós [editor.] | Németi, István [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
182.
|
Mathematics of Fuzzy Sets and Fuzzy Logic [electronic resource] / by Barnabas Bede.
by Bede, Barnabas [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
183.
|
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). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
184.
|
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). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
185.
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers / edited by Narciso Martí-Oliet, Miguel Palomino.
by Martí-Oliet, Narciso [editor.] | Palomino, Miguel [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
186.
|
Typed Lambda Calculi and Applications [electronic resource] : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings / edited by Masahito Hasegawa.
by Hasegawa, Masahito [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
187.
|
The Nature of Computation. Logic, Algorithms, Applications [electronic resource] : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings / edited by Paola Bonizzoni, Vasco Brattka, Benedikt Löwe.
by Bonizzoni, Paola [editor.] | Brattka, Vasco [editor.] | Löwe, Benedikt [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
188.
|
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). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
189.
|
Reactive Kripke Semantics [electronic resource] / by Dov M. Gabbay.
by Gabbay, Dov M [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
190.
|
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements [electronic resource] / by Lutz Geldsetzer, Richard L. Schwartz.
by Geldsetzer, Lutz [author.] | Schwartz, Richard L [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
191.
|
The Argument of Mathematics [electronic resource] / edited by Andrew Aberdein, Ian J Dove.
by Aberdein, Andrew [editor.] | Dove, Ian J [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
192.
|
Mathematical Olympiad Treasures [electronic resource] / by Titu Andreescu, Bogdan Enescu.
by Andreescu, Titu [author.] | Enescu, Bogdan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston : Birkhäuser Boston, 2012Online access: Click here to access online Availability: No items available
|
|
|
193.
|
Excursions in the History of Mathematics [electronic resource] / by Israel Kleiner.
by Kleiner, Israel [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston : Birkhäuser Boston, 2012Online access: Click here to access online Availability: No items available
|
|
|
194.
|
A Beginner's Guide to Discrete Mathematics [electronic resource] / by W.D. Wallis.
by Wallis, W.D [author.] | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston : Birkhäuser Boston, 2012Online access: Click here to access online Availability: No items available
|
|
|
195.
|
The Mathematical Experience, Study Edition [electronic resource] / by Philip J. Davis, Reuben Hersh, Elena Anne Marchisotto.
by Davis, Philip J [author.] | Hersh, Reuben [author.] | Marchisotto, Elena Anne [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston : Birkhäuser Boston, 2012Online access: Click here to access online Availability: No items available
|
|
|
196.
|
A Beginner's Guide to Finite Mathematics [electronic resource] : For Business, Management, and the Social Sciences / by W.D. Wallis.
by Wallis, W.D [author.] | SpringerLink (Online service). Edition: 2nd ed. 2012.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston : Birkhäuser Boston, 2012Online access: Click here to access online Availability: No items available
|
|
|
197.
|
Combinatorial Set Theory [electronic resource] : With a Gentle Introduction to Forcing / by Lorenz J. Halbeisen.
by Halbeisen, Lorenz J [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
198.
|
Mathematical Logic for Computer Science [electronic resource] / by Mordechai Ben-Ari.
by Ben-Ari, Mordechai [author.] | SpringerLink (Online service). Edition: 3rd ed. 2012.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
199.
|
Lecture Notes on O-Minimal Structures and Real Analytic Geometry [electronic resource] / edited by Chris Miller, Jean-Philippe Rolin, Patrick Speissegger.
by Miller, Chris [editor.] | Rolin, Jean-Philippe [editor.] | Speissegger, Patrick [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
200.
|
Introduction to Mathematical Structures and Proofs [electronic resource] / by Larry J. Gerstein.
by Gerstein, Larry J [author.] | SpringerLink (Online service). Edition: 2nd ed. 2012.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
