Search Results - "Mathematical logic"

341

KI 2009: Advances in Artificial Intelligence 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings /

Published 2009

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

342

AI 2009: Advances in Artificial Intelligence 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings /

Published 2009

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

343

Controlled Natural Language Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009. Revised Papers /

Published 2010

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

344

Semantic Processing of Legal Texts Where the Language of Law Meets the Law of Language /

Published 2010

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

345

New Frontiers in Artificial Intelligence JSAI-isAI 2009 Workshops, LENLS, JURISIN, KCSD, LLLL, Tokyo, Japan, November 19-20, 2009, Revised Selected Papers /

Published 2010

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

346

Finite-State Methods and Natural Language Processing 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers /

Published 2010

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

347

Advances in Natural Language Processing 7th International Conference on NLP, IceTAL 2010, Reykjavik, Iceland, August 16-18, 2010 /

Published 2010

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

348

Computational Linguistics and Intelligent Text Processing 11th International Conference, CICLing 2010, Ia_i, Romania, March 21-27, 2010. Proceedings /

Published 2010

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

349

Computational Processing of the Portuguese Language 9th International Conference, PROPOR 2010, Porto Alegre, RS, Brazil, April 27-30, 2010. Proceedings /

Published 2010

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

350

Aspects of Natural Language Processing Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday /

Published 2009

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

351

Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings /

Published 2013

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

352

New Frontiers in Artificial Intelligence JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers /

Published 2013

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

353

State of the Art in Computational Morphology Workshop on Systems and Frameworks for Computational Morphology, SFCM 2009, Zurich, Switzerland, September 4, 2009. Proceedings /

Published 2009

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

354

Sanskrit Computational Linguistics 4th International Symposium, New Delhi, India, December 10-12, 2010. Proceedings /

Published 2010

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

355

Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings...

Published 2009

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

356

Computational Linguistics and Intelligent Text Processing 10th International Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009. Proceedings /

Published 2009

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

357

Observational Calculi and Association Rules

by Rauch, Jan.
Published 2013

Get full text

Electronic

358

Thinking machines and the philosophy of computer science concepts and principles /

Published 2010

View fulltext via EzAccess

Electronic

359

Fixed points and economic equilibria

by Urai, Ken.
Published 2010

View fulltext via EzAccess

Electronic

Narrow Search