Refine your search

Your search returned 276 results.

|
1.
Mechanizing Mathematical Reasoning [Recurso electrónico] / Essays in Honor of JÃœrg H. Siekmann on the Occasion of His 60th Birthday edited by Dieter Hutter, Werner Stephan.

by Hutter, Dieter | Stephan, Werner | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

2.
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [Recurso electrónico] : 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings / edited by Khaled Mellouli.

by Mellouli, Khaled | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

3.
Aspects of vagueness / edited by Heinz J. Skala, S. Termini, and E. Trillas.

by Skala, Heinz J | Termini, S. (Settimo), 1945- | Trillas, E. (Enric) | Gran Canaria (Canary Islands). Cabildo Insular | Universidad Politécnica de Canarias | Conference on Mathematics at the Service of Man (2nd : 1982 : Universidad Politécnica de Canarias).

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Dordrecht ; Boston : Hingham, MA : D. Reidel Pub. Co. ; Sold and distributed in U.S.A. and Canada by Kluwer Academic, c1984Availability: No items available

4.
On Intuitionistic Fuzzy Sets Theory [Recurso electrónico] / by Krassimir T. Atanassov.

by Atanassov, Krassimir T.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

5.
Conditionals, Information, and Inference [Recurso electrónico] / International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers edited by Gabriele Kern-Isberner, Friedhelm Kulmann, Wilhelm RÃœdder.

by Kern-Isberner, Gabriele | Kulmann, Friedhelm | RÃœdder, Wilhelm | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

6.
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [Recurso electrónico] / 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings edited by Lluis Godo.

by Godo, Lluis | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

7.
Deontic Logic and Artificial Normative Systems [Recurso electrónico] / 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings edited by Lou Goble, John-Jules Ch. Mey

by Goble, Lou | Meyer, John-Jules Ch | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

8.
Scalable Uncertainty Management [Recurso electrónico] : First International Conference, SUM 2007, Washington,DC, USA, October 10-12, 2007. Proceedings / edited by Henri Prade, V. S. Subrahmanian.

by Prade, Henri | Subrahmanian, V. S | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

9.
Theory and Applications of Satisfiability Testing (vol. # 3569) [Recurso electrónico] / 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings edited by Fahiem Bacchus, Toby Walsh.

by Bacchus, Fahiem | Walsh, Toby | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

10.
Theory and Applications of Satisfiability Testing (vol. # 3542) [Recurso electrónico] / 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers edited by Holger H. Hoos, David G. Mitchell.

by Hoos, Holger H | Mitchell, David G | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

11.
Computer Science Logic (vol. # 3634) [Recurso electrónico] / 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings edited by Luke Ong.

by Ong, Luke | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

12.
Computer Science Logic (vol. # 4207) [Recurso electrónico] / 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings edited by Zoltán Üsik.

by Üsik, Zoltán | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

13.
Processes, Terms and Cycles: Steps on the Road to Infinity [Recurso electrónico] / Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday edited by Roel de Vrijer, Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk.

by de Vrijer, Roel | Middeldorp, Aart | van Oostrom, Vincent | van Raamsdonk, Femke | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

14.
Recent Trends in Algebraic Development Techniques [Recurso electrónico] : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers / edited by Till Mossakowski, Hans-JÃœrg Kreowski.

by Mossakowski, Till | Kreowski, Hans-JÃœrg.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

15.
B 2007: Formal Specification and Development in B [Recurso electrónico] / 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings edited by Jacques Julliand, Olga Kouchnarenko.

by Julliand, Jacques | Kouchnarenko, Olga | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

16.
Computational Logic in Multi-Agent Systems (vol. # 3487) [Recurso electrónico] / 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers edited by João Leite, Paolo Torroni.

by Leite, João | Torroni, Paolo | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

17.
Logic Programming and Nonmonotonic Reasoning [Recurso electrónico] / 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings edited by Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina.

by Baral, Chitta | Greco, Gianluigi | Leone, Nicola | Terracina, Giorgio | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

18.
AI*IA 2007: Artificial Intelligence and Human-Oriented Computing [Recurso electrónico] : 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007. Proceedings. Roberto Basili, Maria Teresa

by Basili, Roberto | Pazienza, Maria Teresa | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

19.
Unconventional Programming Paradigms [Recurso electrónico] / International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers edited by Jean-Pierre BanÃØtre, Pascal Fradet, Jean-Louis Gi

by BanÃØtre, Jean-Pierre | Fradet, Pascal | Giavitto, Jean-Louis | Michel, Olivier | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

20.
Implementation and Application of Automata (vol. # 3317) [Recurso electrónico] / 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers edited by Michael Domaratzki, Alexander Okhotin, Kai Salomaa

by Domaratzki, Michael | Okhotin, Alexander | Salomaa, Kai | Yu, Sheng | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

Powered by Koha