Тема, жанр, tags: Mathematical Logic and Formal Languages » Page 4 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Mathematical Logic and Formal Languages » Page 4

book Principles and Practice of Semantic Web Reasoning: 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers

Principles and Practice of Semantic Web Reasoning: 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers

pdf

Author: Harold Boley (auth.) Jóse Júlio Alferes James Bailey Wolfgang May Uta Schwertel (eds.)
Language: English
Year: 2006

00

06.02.2024

0

0

book Advances in Case-Based Reasoning: 8th European Conference, ECCBR 2006 Fethiye, Turkey, September 4-7, 2006 Proceedings

Advances in Case-Based Reasoning: 8th European Conference, ECCBR 2006 Fethiye, Turkey, September 4-7, 2006 Proceedings

pdf

Author: Edwina L. Rissland (auth.) Thomas R. Roth-Berghofer Mehmet H. Göker H. Altay Güvenir (eds.)
Language: English
Year: 2006

00

06.02.2024

0

0

book Machine Learning: ECML 2005: 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005. Proceedings

Machine Learning: ECML 2005: 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005. Proceedings

pdf

Author: Michael R. Berthold (auth.) João Gama Rui Camacho Pavel B. Brazdil Alípio Mário Jorge Luís Torgo (eds.)
Language: English
Year: 2005

00

06.02.2024

0

0

book Natural Language Processing – IJCNLP 2005: Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005. Proceedings

Natural Language Processing – IJCNLP 2005: Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005. Proceedings

pdf

Author: Yi Hu Jianyong Duan Xiaoming Chen Bingzhen Pei Ruzhan Lu (auth.) Robert Dale Kam-Fai Wong Jian Su Oi Yee Kwong (eds.)
Language: English
Year: 2005

00

06.02.2024

0

0

book Discrete Mathematics Using a Computer

Discrete Mathematics Using a Computer

pdf

Author: John O’Donnell PhD Cordelia Hall PhD Rex Page PhD (auth.)
Language: English
Year: 2006

00

06.02.2024

0

0

book Logic Grammars

pdf

Author: Harvey Abramson Veronica Dahl (auth.)
Language: English
Year: 1989

00

06.02.2024

0

0

book A General Framework for Reasoning On Inconsistency

A General Framework for Reasoning On Inconsistency

pdf

Author: Maria Vanina Martinez Cristian Molinaro V.S. Subrahmanian Leila Amgoud (auth.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

pdf

Author: Heinrich Rust (auth.)
Language: English
Year: 2005

00

06.02.2024

0

0

book Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

pdf

Author: Michael Codish Yoav Fekete Amit Metodi (auth.) Valeria Bertacco Axel Legay (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions

pdf

Author: Dines Bjørner (auth.) Paul Boca Jonathan P. Bowen Jawed Siddiqi (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0