|
|
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers / edited by Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu.
by Codescu, Mihai [editor.] | Diaconescu, Răzvan [editor.] | Țuțu, Ionuț [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 and Its Applications [electronic resource] : 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings / edited by Mohua Banerjee, Shankara Narayanan Krishna.
by Banerjee, Mohua [editor.] | Krishna, Shankara Narayanan [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
|
|
|
|
Logical Aspects of Computational Linguistics [electronic resource] : 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings / edited by Nicholas Asher, Sergei Soloviev.
by Asher, Nicholas [editor.] | Soloviev, Sergei [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, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Logic-Based Program Synthesis and Transformation [electronic resource] : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers / edited by Maurizio Proietti, Hirohisa Seki.
by Proietti, Maurizio [editor.] | Seki, Hirohisa [editor.] | 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
|
|
|
|
Computers and Games [electronic resource] : 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers / edited by H. Jaap van den Herik, Hiroyuki Iida, Aske Plaat.
by van den Herik, H. Jaap [editor.] | Iida, Hiroyuki [editor.] | Plaat, Aske [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
|
|
|
|
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
|
|
|
|
Subjective Logic [electronic resource] : A Formalism for Reasoning Under Uncertainty / by Audun J�sang.
by J�sang, Audun [author.] | SpringerLink (Online service). 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
|
|
|
|
Interactive Theorem Proving [electronic resource] : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings / edited by Gerwin Klein, Ruben Gamboa.
by Klein, Gerwin [editor.] | Gamboa, Ruben [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
|
|
|
|
Information Processing and Management of Uncertainty in Knowledge-Based Systems [electronic resource] : 15th International Conference, IPMU 2014, Montpellier, France, July 15-19, 2014, Proceedings, Part III / edited by Anne Laurent, Oliver Strauss, Bernadette Bouchon-Meunier, Ronald R. Yager.
by Laurent, Anne [editor.] | Strauss, Oliver [editor.] | Bouchon-Meunier, Bernadette [editor.] | Yager, Ronald R [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
|
|
|
|
Information Processing and Management of Uncertainty in Knowledge-Based Systems [electronic resource] : 15th International Conference, IPMU 2014, Montpellier, France, July 15-19, 2014, Proceedings, Part II / edited by Anne Laurent, Olivier Strauss, Bernadette Bouchon-Meunier, Ronald R. Yager.
by Laurent, Anne [editor.] | Strauss, Olivier [editor.] | Bouchon-Meunier, Bernadette [editor.] | Yager, Ronald R [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
|
|
|
|
Rough Sets and Current Trends in Computing [electronic resource] : 9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings / edited by Chris Cornelis, Marzena Kryszkiewicz, Dominik Śl�ezak, Ernestina Menasalvas Ruiz, Rafael Bello, Lin Shang.
by Cornelis, Chris [editor.] | Kryszkiewicz, Marzena [editor.] | Śl�ezak, Dominik [editor.] | Ruiz, Ernestina Menasalvas [editor.] | Bello, Rafael [editor.] | Shang, Lin [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
|
|
|
|
Inductive Logic Programming [electronic resource] : 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers / edited by Gerson Zaverucha, V�itor Santos Costa, Aline Paes.
by Zaverucha, Gerson [editor.] | Santos Costa, V�itor [editor.] | Paes, Aline [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, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings / edited by Bernd Finkbeiner, Geguang Pu, Lijun Zhang.
by Finkbeiner, Bernd [editor.] | Pu, Geguang [editor.] | Zhang, Lijun [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
|
|
|
|
Horizons of the Mind. A Tribute to Prakash Panangaden [electronic resource] : Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday / edited by Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten.
by Breugel, Franck van [editor.] | Kashefi, Elham [editor.] | Palamidessi, Catuscia [editor.] | Rutten, Jan [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
|
|
|
|
Computer Science - Theory and Applications [electronic resource] : 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings / edited by Edward A. Hirsch, Sergei O. Kuznetsov, Jean-�Eric Pin, Nikolay K. Vereshchagin.
by Hirsch, Edward A [editor.] | Kuznetsov, Sergei O [editor.] | Pin, Jean-�Eric [editor.] | Vereshchagin, Nikolay K [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
|
|
|
|
Theory and Practice of Formal Methods [electronic resource] : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday / edited by Erika �Abrah�am, Marcello Bonsangue, Einar Broch Johnsen.
by �Abrah�am, Erika [editor.] | Bonsangue, Marcello [editor.] | Johnsen, Einar Broch [editor.] | SpringerLink (Online service). 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
|
|
|
|
Reasoning Web. Semantic Technologies for Intelligent Data Access [electronic resource] : 9th International Summer School 2013, Mannheim, Germany, July 30 - August 2, 2013. Proceedings / edited by Sebastian Rudolph, Georg Gottlob, Ian Horrocks, Frank van Harmelen.
by Rudolph, Sebastian [editor.] | Gottlob, Georg [editor.] | Horrocks, Ian [editor.] | Harmelen, Frank van [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
|
|
|
|
PRICAI 2014: Trends in Artificial Intelligence [electronic resource] : 13th Pacific Rim International Conference on Artificial Intelligence, Gold Coast, QLD, Australia, December 1-5, 2014. Proceedings / edited by Duc-Nghia Pham, Seong-Bae Park.
by Pham, Duc-Nghia [editor.] | Park, Seong-Bae [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
|
|
|
|
Semantic Technology [electronic resource] : 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers / edited by Guilin Qi, Kouji Kozaki, Jeff Z. Pan, Siwei Yu.
by Qi, Guilin [editor.] | Kozaki, Kouji [editor.] | Pan, Jeff Z [editor.] | Yu, Siwei [editor.] | 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
|
|
|
|
Computing with New Resources [electronic resource] : Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday / edited by Cristian S. Calude, Rūsiņš Freivalds, Iwama Kazuo.
by Calude, Cristian S [editor.] | Freivalds, Rūsiņš [editor.] | Kazuo, Iwama [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
|
