MPG.eBooks - Search Results - "mathematical logic and formal language"

Search alternatives:
"mathematical logic and formal language" » "mathematical logic and formal languages", "mathematics logic and formal language"

Cover Image

361

Correct Hardware Design and Verification Methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings

by Geist, Daniel
Published 2003

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Cover Image

362

Formal Methods in Computer-Aided Design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings

by Hu, Alan J
Published 2004

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Cover Image

363

Machine Learning and Data Mining in Pattern Recognition : Third International Conference, MLDM 2003, Leipzig, Germany, July 5-7, 2003, proceedings

by Perner, Petra
Published 2003

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Cover Image

364

Machine Learning and Its Applications : Advanced Lectures

by Paliouras, Georgios
Published 2001

Springer-Verlag Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Cover Image

365

Knowledge Discovery in Databases: PKDD 2003 : 7th European Conference on Principles and Practice of Knowledge Discovery in Databases, Cavtat-Dubrovnik, Croatia, September 22-26, 20...

by Lavrac, Nada
Published 2003

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Cover Image

366

Correct Hardware Design and Verification Methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings

by Margaria, Tiziana
Published 2001

Springer-Verlag Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Cover Image

367

Computer Aided Systems Theory - EUROCAST 2001 : A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, Febru...

by Moreno-Diaz, Roberto
Published 2001

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Cover Image

368

Relational and Kleene-Algebraic Methods in Computer Science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of...

by Berghammer, R
Published 2004

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Cover Image

369

Knowledge Discovery in Databases: PKDD 2004 : 8th European Conference on Principles and Practice of Knowledge Discovery in Databases, Pisa, Italy, September 20-24, 2004, Proceeding...

by Boulicaut, Jean-Francois
Published 2004

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Cover Image

370

Case-Based Reasoning Research and Development : 5th International Conference on Case-Based Reasoning, ICCBR 2003, Trondheim, Norway, June 23-26, 2003, Proceedings

by Ashley, Kevin D
Published 2003

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Cover Image

371

Text- and Speech-Triggered Information Access : 8th ELSNET Summer School, Chios Island, Greece, July 15-30, 2000, Revised Lectures

by Renals, Steve
Published 2003

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Cover Image

372

Natural Language Processing and Information Systems : 6th International Conference on Applications of Natural Language to Information Systems, NLDB 2002 Stockholm, Sweden, June 27–...

by Andersson, Birger
Published 2002

Springer-Verlag Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Cover Image

373

Intelligent Data Engineering and Automated Learning -- IDEAL 2003 : 4th International Conference, Hong Kong, China, March 21-23, 2003, Revised Papers

by Liu, Jiming
Published 2003

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Cover Image

374

Rough Sets and Current Trends in Computing : 4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004, Proceedings

by Tsumoto, Shusaku
Published 2004

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Cover Image

375

Concept Lattices : Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings

by Eklund, Peter
Published 2004

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Cover Image

376

Fuzzy Sets and Systems - IFSA 2003 : 10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, June 30 - July 2, 2003, Proceedings

by Bilgic, Taner
Published 2003

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Cover Image

377

Mathematical Knowledge Management : Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003

by Asperti, Andrea
Published 2003

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

9
10
11
12
13
14
15
16
17
18
19