|
1.
|
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004. Proceedings / edited by Jean-Charles Régin, Michel Rueher. by Régin, Jean-Charles [editor.] | Rueher, Michel [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: No items available :
|
|
2.
|
Conceptual Structures: Current Practices [electronic resource] : Second International Conference on Conceptual Structures, ICCS'94 College Park, Maryland, USA August 16–20, 1994 Proceedings / edited by William M. Tepfenhart, Judith P. Dick, John F. Sowa. by Tepfenhart, William M [editor.] | Dick, Judith P [editor.] | Sowa, John F [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: No items available :
|
|
3.
|
|
|
4.
|
|
|
5.
|
CSL '88 [electronic resource] : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter. by Börger, Egon [editor.] | Büning, Hans Kleine [editor.] | Richter, Michael M [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online access: Click here to access online Availability: No items available :
|
|
6.
|
|
|
7.
|
|
|
8.
|
MFDBS 91 [electronic resource] : 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems Rostock, Germany, May 6–9, 1991 Proceedings / edited by Bernhard Thalheim, János Demetrovics, H. -D. Gerhardt. by Thalheim, Bernhard [editor.] | Demetrovics, János [editor.] | Gerhardt, H. -D [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Other title: Proceedings.Online access: Click here to access online Availability: No items available :
|
|
9.
|
Automata, Languages and Programming [electronic resource] : 18th International Colloquium Madrid, Spain, July 8–12, 1991 Proceedings / edited by Javier Leach Albert, Burkhard Monien, Mario Rodríguez Artalejo. by Albert, Javier Leach [editor.] | Monien, Burkhard [editor.] | Artalejo, Mario Rodríguez [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: No items available :
|
|
10.
|
Conceptual Graphs for Knowledge Representation [electronic resource] : First International Conference on Conceptual Structures, ICCS'93 Quebec City, Canada, August 4–7, 1993 Proceedings / edited by Guy W. Mineau, Bernard Moulin, John F. Sowa. by Mineau, Guy W [editor.] | Moulin, Bernard [editor.] | Sowa, John F [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: No items available :
|
|
11.
|
Computer Science Logic [electronic resource] : 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers / edited by E. Börger, G. Jäger, H. Kleine Büning, S. Martini, M. M. Richter. by Börger, E [editor.] | Jäger, G [editor.] | Kleine Büning, H [editor.] | Martini, S [editor.] | Richter, M. M [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: No items available :
|
|
12.
|
|
|
13.
|
|
|
14.
|
|
|
15.
|
|
|
16.
|
|
|
17.
|
|
|
18.
|
Advances in Artificial Life [electronic resource] : Third European Conference on Artificial Life Granada, Spain, June 4–6, 1995 Proceedings / edited by Federico Morán, Alvaro Moreno, Juan Julián Merelo, Pablo Chacón. by Morán, Federico [editor.] | Moreno, Alvaro [editor.] | Merelo, Juan Julián [editor.] | Chacón, Pablo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: No items available :
|
|
19.
|
Progress in Evolutionary Computation [electronic resource] : AI '93 and AI '94 Workshops on Evolutionary Computation Melbourne, Victoria, Australia, November 16, 1993 Armidale, NSW, Australia, November 21–22, 1994 Selected Papers / edited by Xin Yao. by Yao, Xin [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: No items available :
|
|
20.
|
|
|
21.
|
Conceptual Structures: Applications, Implementation and Theory [electronic resource] : Third International Conference on Conceptual Structures, ICCS '95 Santa Cruz, CA, USA, August 14–18, 1995 Proceedings / edited by Gerard Ellis, Robert Levinson, William Rich, John F. Sowa. by Ellis, Gerard [editor.] | Levinson, Robert [editor.] | Rich, William [editor.] | Sowa, John F [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: No items available :
|
|
22.
|
Graph Grammars and Their Application to Computer Science [electronic resource] : 5th International Workshop Williamsburg, VA, USA, November 13–18, 1994 Selected Papers / edited by Janice Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg. by Cuny, Janice [editor.] | Ehrig, Hartmut [editor.] | Engels, Gregor [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: No items available :
|
|
23.
|
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006. Proceedings / edited by J. Christopher Beck, Barbara M. Smith. by Beck, J. Christopher [editor.] | Smith, Barbara M [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available :
|
|
24.
|
|
|
25.
|
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007. Proceedings / edited by Pascal Hentenryck, Laurence Wolsey. by Hentenryck, Pascal [editor.] | Wolsey, Laurence [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|