|
|
Relational and Algebraic Methods in Computer Science [electronic resource] : 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings / edited by Wolfram Kahl, Michael Winter, Jos�e Oliveira.
by Kahl, Wolfram [editor.] | Winter, Michael [editor.] | Oliveira, Jos�e [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
Logic, Rationality, and Interaction [electronic resource] : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings / edited by Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang.
by van der Hoek, Wiebe [editor.] | Holliday, Wesley H [editor.] | Wang, Wen-fang [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, 2015Online access: Click here to access online Availability: No items available
|
|
|
Algorithms and Computation [electronic resource] : 8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014, Proceedings / edited by Sudebkumar Prasant Pal, Kunihiko Sadakane.
by Pal, Sudebkumar Prasant [editor.] | Sadakane, Kunihiko [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
Formal Grammar [electronic resource] : 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings / edited by Annie Foret, Glyn Morrill, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla.
by Foret, Annie [editor.] | Morrill, Glyn [editor.] | Muskens, Reinhard [editor.] | Osswald, Rainer [editor.] | Pogodalla, Sylvain [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, 2016Online access: Click here to access online Availability: No items available
|
|
|
Computer Algebra in Scientific Computing [electronic resource] : 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov.
by Gerdt, Vladimir P [editor.] | Koepf, Wolfram [editor.] | Mayr, Ernst W [editor.] | Vorozhtsov, Evgenii V [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
Logic, Language, Information, and Computation [electronic resource] : 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings / edited by Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira.
by de Paiva, Valeria [editor.] | de Queiroz, Ruy [editor.] | Moss, Lawrence S [editor.] | Leivant, Daniel [editor.] | de Oliveira, Anjolina G [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, 2015Online access: Click here to access online Availability: No items available
|
|
|
Fuzzy Algebraic Hyperstructures [electronic resource] : An Introduction / by Bijan Davvaz, Irina Cristea.
by Davvaz, Bijan [author.] | Cristea, Irina [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
Fuzzy Logic of Quasi-Truth: An Algebraic Treatment [electronic resource] / by Antonio Di Nola, Revaz Grigolia, Esko Turunen.
by Di Nola, Antonio [author.] | Grigolia, Revaz [author.] | Turunen, Esko [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
Fuzzy Logic of Quasi-Truth: An Algebraic Treatment [electronic resource] / by Antonio Di Nola, Revaz Grigolia, Esko Turunen.
by Di Nola, Antonio [author.] | Grigolia, Revaz [author.] | Turunen, Esko [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|