Тема, жанр, tags: Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Artificial Intelligence (inc » Page 7 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Artificial Intelligence (inc » Page 7

book Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

pdf

Author: David Basin Cas Cremers (auth.) Anuj Dawar Helmut Veith (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

pdf

Author: Germán Vidal (auth.) Danny De Schreye (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Transactions on Rough Sets VII: Commemorating the Life and Work of Zdzisław Pawlak, Part II

Transactions on Rough Sets VII: Commemorating the Life and Work of Zdzisław Pawlak, Part II

pdf

Author: Andrzej Czyzewski (auth.) James F. Peters Andrzej Skowron Victor W. Marek Ewa Orłowska Roman Słowiński Wojciech Ziarko (eds.)
Language: English
Year: 2007

00

27.01.2024

0

0

book Transactions on Rough Sets V

Transactions on Rough Sets V

pdf

Author: James F. Peters Andrzej Skowron (auth.) James F. Peters Andrzej Skowron (eds.)
Language: English
Year: 2006

00

27.01.2024

1

0

book Neural Nets: 16th Italian Workshop on Neural Nets, WIRN 2005, and International Workshop on Natural and Artificial Immune Systems, NAIS 2005, Vietri sul Mare, Italy, June 8-11, 2005, Revised Selected Papers

Neural Nets: 16th Italian Workshop on Neural Nets, WIRN 2005, and International Workshop on Natural and Artificial Immune Systems, NAIS 2005, Vietri sul Mare, Italy, June 8-11, 2005, Revised Selected Papers

pdf

Author: Francesco Camastra (auth.) Bruno Apolloni Maria Marinaro Giuseppe Nicosia Roberto Tagliaferri (eds.)
Language: English
Year: 2006

00

27.01.2024

0

0

book Computer Aided Systems Theory – EUROCAST 2005: 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers

Computer Aided Systems Theory – EUROCAST 2005: 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers

pdf

Author: José Mira Mira (auth.) Roberto Moreno Díaz Franz Pichler Alexis Quesada Arencibia (eds.)
Language: English
Year: 2005

00

27.01.2024

4

0

book Brain, Vision, and Artificial Intelligence: First International Symposium, BVAI 2005, Naples, Italy, October 19 – 21, 2005. Proceedings

Brain, Vision, and Artificial Intelligence: First International Symposium, BVAI 2005, Naples, Italy, October 19 – 21, 2005. Proceedings

pdf

Author: Péter Érdi János Tóth (auth.) Massimo De Gregorio Vito Di Maio Maria Frucci Carlo Musio (eds.)
Language: English
Year: 2005

00

27.01.2024

4

0

book Coevolutionary Fuzzy Modeling

Coevolutionary Fuzzy Modeling

pdf

Author: Carlos Andrés Peña Reyes (auth.)
Language: English
Year: 2004

00

27.01.2024

1

0

book Automata Implementation: 4th International Workshop on Implementing Automata, WIA’99 Potsdam, Germany, July 17–19, 1999 Revised Papers

Automata Implementation: 4th International Workshop on Implementing Automata, WIA’99 Potsdam, Germany, July 17–19, 1999 Revised Papers

pdf

Author: Jérôme Amilhastre Philippe Janssen Marie-Catherine Vilarem (auth.) Oliver Boldt Helmut Jürgensen (eds.)
Language: English
Year: 2001

00

27.01.2024

1

0

book Advances in Computing Science — ASIAN 2000: 6th Asian Computing Science Conference Penang, Malaysia, November 25–27, 2000 Proceedings

Advances in Computing Science — ASIAN 2000: 6th Asian Computing Science Conference Penang, Malaysia, November 25–27, 2000 Proceedings

pdf

Author: Jean Vuillemin (auth.) He Jifeng Masahiko Sato (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0