|
|
|
Automated Reasoning and Mathematics [electronic resource] : Essays in Memory of William W. McCune / edited by Maria Paola Bonacina, Mark E. Stickel.
by Bonacina, Maria Paola [editor.] | Stickel, Mark E [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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
|
|
|
|
Language, Games, and Evolution [electronic resource] : Trends in Current Research on Language and Game Theory / edited by Anton Benz, Christian Ebert, Gerhard Jäger, Robert van Rooij.
by Benz, Anton [editor.] | Ebert, Christian [editor.] | Jäger, Gerhard [editor.] | van Rooij, Robert [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Data Integration in the Life Sciences [electronic resource] : 5th International Workshop, DILS 2008, Evry, France, June 25-27, 2008, Proceedings / edited by Amos Bairoch, Sarah Cohen-Boulakia, Christine Froidevaux.
by Bairoch, Amos [editor.] | Cohen-Boulakia, Sarah [editor.] | Froidevaux, Christine [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Knowledge-Based Intelligent Information and Engineering Systems [electronic resource] : 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part II / edited by Rajiv Khosla.
by Khosla, Rajiv [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Rough Set and Knowledge Technology [electronic resource] : 6th International Conference, RSKT 2011, Banff, Canada, October 9-12, 2011, Proceedings / edited by JingTao Yao, Sheela Ramanna, Guoyin Wang, Zbigniew Suraj.
by Yao, JingTao [editor.] | Ramanna, Sheela [editor.] | Wang, Guoyin [editor.] | Suraj, Zbigniew [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Professional Knowledge Management [electronic resource] : Third Biennial Conference, WM 2005, Kaiserslautern, Germany, April 10-13, 2005, Revised Selected Papers / edited by Klaus-Dieter Althoff, Andreas Dengel, Ralph Bergmann, Markus Nick, Thomas Roth-Berghofer.
by Althoff, Klaus-Dieter [editor.] | Dengel, Andreas [editor.] | Bergmann, Ralph [editor.] | Nick, Markus [editor.] | Roth-Berghofer, Thomas [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Frontiers of Combining Systems [electronic resource] : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings / edited by Cesare Tinelli, Viorica Sofronie-Stokkermans.
by Tinelli, Cesare [editor.] | Sofronie-Stokkermans, Viorica [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets [electronic resource] : International Workshop, Dagstuhl Castle, Germany, March 1-5, 2004, Revised Selected Papers / edited by Gunter Grieser, Yuzuru Tanaka.
by Grieser, Gunter [editor.] | Tanaka, Yuzuru [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
AI 2012: Advances in Artificial Intelligence [electronic resource] : 25th International Australasian Joint Conference, Sydney, Australia, December 4-7, 2012, Proceedings / edited by Michael Thielscher, Dongmo Zhang.
by Thielscher, Michael [editor.] | Zhang, Dongmo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Case-Based Reasoning [electronic resource] : 8th European Conference, ECCBR 2006, Fethiye, Turkey, September 4-7, 2006, Proceedings / edited by Thomas Roth-Berghofer, Mehmet H. Göker, H. Altay Güvenir.
by Roth-Berghofer, Thomas [editor.] | Göker, Mehmet H [editor.] | Güvenir, H. Altay [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Engineering Psychology and Cognitive Ergonomics [electronic resource] : 11th International Conference, EPCE 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings / edited by Don Harris.
by Harris, Don [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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 for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings / edited by Franz Baader, Andrei Voronkov.
by Baader, Franz [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Knowledge Science, Engineering and Management [electronic resource] : 5th International Conference, KSEM 2011, Irvine, CA, USA, December 12-14, 2011. Proceedings / edited by Hui Xiong, W.B. Lee.
by Xiong, Hui [editor.] | Lee, W.B [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Environments for Multi-Agent Systems III [electronic resource] : Third International Workshop, E4MAS 2006, Hakodate, Japan, May 8, 2006, Selected Revised and Invited Papers / edited by Danny Weyns, H. Van Dyke Parunak, Fabien Michel.
by Weyns, Danny [editor.] | Parunak, H. Van Dyke [editor.] | Michel, Fabien [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Integrated Uncertainty in Knowledge Modelling and Decision Making [electronic resource] : International Symposium, IUKM 2013, Beijing, China, July 12-14, 2013, Proceedings / edited by Zengchang Qin, Van-Nam Huynh.
by Qin, Zengchang [editor.] | Huynh, Van-Nam [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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
|
|
|
|
Intelligent Virtual Agents [electronic resource] : 9th International Conference, IVA 2009 Amsterdam, The Netherlands, September 14-16, 2009 Proceedings / edited by Zsófia Ruttkay, Michael Kipp, Anton Nijholt, Hannes Högni Vilhjálmsson.
by Ruttkay, Zsófia [editor.] | Kipp, Michael [editor.] | Nijholt, Anton [editor.] | Vilhjálmsson, Hannes Högni [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Life System Modeling and Simulation [electronic resource] : International Conference on Life System Modeling, and Simulation, LSMS 2007, Shanghai, China, September 14-17, 2007. Proceedings / edited by Minrui Fei, George W. Irwin, Shiwei Ma.
by Fei, Minrui [editor.] | Irwin, George W [editor.] | Ma, Shiwei [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Modeling Communication with Robots and Virtual Humans [electronic resource] : Second ZiF Research Group 2005/2006 International Workshop on Embodied Communication in Humans and Machines, Bielefeld, Germany, April 5-8, 2006, Revised Selected Papers / edited by Ipke Wachsmuth, Günther Knoblich.
by Wachsmuth, Ipke [editor.] | Knoblich, Günther [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Computer Mathematics [electronic resource] : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings / edited by Serge Autexier, Jacques Calmet, David Delahaye, P.D.F. Ion, Laurence Rideau, Renaud Rioboo, Alan Sexton.
by Autexier, Serge [editor.] | Calmet, Jacques [editor.] | Delahaye, David [editor.] | Ion, P.D.F [editor.] | Rideau, Laurence [editor.] | Rioboo, Renaud [editor.] | Sexton, Alan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Artificial Life and Computational Intelligence [electronic resource] : Third Australasian Conference, ACALCI 2017, Geelong, VIC, Australia, January 31 - February 2, 2017, Proceedings / edited by Markus Wagner, Xiaodong Li, Tim Hendtlass.
by Wagner, Markus [editor.] | Li, Xiaodong [editor.] | Hendtlass, Tim [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
