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.
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

3.
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

4.
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

5.
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

6.
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

7.
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

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.
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

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.
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

15.
Theory and Applications of Satisfiability Testing - SAT 2007 [Recurso electrónico] / 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings edited by Joao Marques-Silva, Karem A. Sakallah.

by Marques-Silva, Joao | Sakallah, Karem A | SpringerLink (Online service).

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

16.
Computer Science Logic [Recurso electrónico] : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings / edited by Jacques Duparc, Thomas A. Henzinger.

by Duparc, Jacques | Henzinger, Thomas A | 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

17.
Theory and Applications of Satisfiability Testing - SAT 2006 [Recurso electrónico] / 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings edited by Armin Biere, Carla P. Gomes.

by Biere, Armin | Gomes, Carla P | 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

18.
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

19.
Membrane Computing (vol. # 3365) [Recurso electrónico] / 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers edited by Giancarlo MauriGheorghe Paun, Mario J. Pérez-Jiménez, Grzegorz Rozenb

by Mauri, Giancarlo | Paun, Gheorghe | Pérez-Jiménez, Mario J | Rozenberg, Grzegorz | Salomaa, Arto | 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.
ZB 2005: Formal Specification and Development in Z and B [Recurso electrónico] / 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings edited by Martin Henson, Steve King, Steve Schneider, Helen Treharne

by Henson, Martin | King, Steve | Schneider, Steve | Treharne, Helen | 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