Logic and Its applications : :: SCD d'Orléans

Logic and Its applications : 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013 : proceedings

Logic and Its applications : 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013 : proceedings

This book collects the refereed proceedings of the 5th Indian Conference on Logic and Its Applications, ICLA 2013, held in Chennai, India, in January 2013. The 15 revised full papers presented together with 7 invited talks were carefully reviewed and selected from 35 submissions. The papers cover th...

Descrizione completa

Salvato in:

Dettagli Bibliografici
Altri autori:	Lodaya, Kamal (Direttore editoriale)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Berlin, Heidelberg : Springer Berlin Heidelberg 2013. Cham : Springer Nature
Serie:	Theoretical Computer Science and General Issues 7750
Accesso online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Logic and Its Applications, Texte imprimé, 9783642360381 • Logic and Its Applications, Texte imprimé, 9783642360404

Documenti analoghi

Mathematical Logic and Its Applications

Fuzzy logic and applications : 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings
di: Masulli, Francesco

Mathematical Logic and Its Applications 2020
Pubblicazione: (2022)

Introduction to symbolic logic and its applications
di: Carnap, Rudolf, 1891-1970
Pubblicazione: (1958)

Higher order logic theorem proving and its application : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings

Power and its Logic
di: Meier, Dominik, et al.
Pubblicazione: (2021)

Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings

Logic Programming and Nonmonotonic Reasoning : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
di: Cabalar, Pedro

Advances in soft computing and its applications : 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, proceedings
di: Castro, Félix

Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings

Computational science and its applications : ICCSA 2013 : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013 : proceedings

Computational science and its applications : ICCSA 2013 : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013 : proceedings
di: Murgante, Beniamino

Computational science and its applications : CCSA 2013 : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, proceedings
di: Murgante, Beniamino

Computational science and its applications : ICCSA 2013 : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013 : proceedings
di: Murgante, Beniamino

Computational science and its applications : ICCSA 2013 : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013 : proceedings
di: Murgante, Beniamino

Logic, rationality, and interaction : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, proceedings
di: Grossi, Davide
Pubblicazione: (2013)

Mathematical Logic and Applications : Proceedings of the Logic Meeting held in Kyoto, 1987

Field programmable logic and applications : the roadmap to reconfigurable computing : 10th international conference, FPL 2000, Villach, Austria, August 27-30, 2000 : proceedings

Field-programmable logic and applications : reconfigurable computing is going mainstream : 12th international conference, FPL 2002, Montpellier, France, September 2-4, 2002 : proceedings

Fuzzy Logic Based in Optimization Methods and Control Systems and Its Applications
Pubblicazione: (2023)

Advances in artificial intelligence and its applications : 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013:eroceedings
di: Castro, Félix

Field-programmable logic and applications : 13th International Conference, FPL 2003, Lisbon, Portugal, September 1-3, 2003 : proceedings

Hybrid logic and its proof-theory
di: Bräuner, Torben, 1962-

Field-programmable logic and applications : 14th International Conference, FPL 2004, Antwerp, Belgium, August 30-September 1, 2004 : proceedings
di: Becker, Jürgen, 1929-

Logic programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings

Field-programmable logic and applications : 11th International Conference, FPL 2001 Belfast, Northern Ireland, UK, August 27-29, 2001 : proceedings

Applications of Logic Databases

Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980

Field-programmable logic and applications : 5th International Workshop, FPL '95 Oxford, United Kingdom, August 29 September 1, 1995 : proceedings

Logic programming '89 : proceedings of the 8th conference Tokyo, Japan, July 12 14, 1989
di: Furukawa, Kōichi, 1938-

Logic programming '86 : proceedings of the 5th conference, Tokyo, Japan, June 23-26, 1986

Electronic band structure and its applications : proceedings of the International School on Electronic Band Structure and Its Applications held at the Indian Institute of Technology, Kanpur, India, October 20-November 8, 1986
di: Yussouff, M.

AILC/ICLA
di: Maufort, Marc
Pubblicazione: (2021)

Mathematical Morphology and Its Applications to Signal and Image Processing : 11th International Symposium, ISMM 2013, Uppsala, Sweden, May 27-29, 2013. Proceedings
di: Hendriks, Cris L. Luengo, 19..-
Pubblicazione: (2013)

Conceptual structures for STEM research and education : 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013 : proceedings
di: Pfeiffer, Heather D.

Field-programmable logic and applications : 7th International Workshop, FPL '97 London, UK, September 1 3, 1997 : proceedings

Logic programming : 20th international conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings

An Introduction to Fuzzy Logic Applications
di: Harris, John

Fuzzy Logic Controllers and Applications
Pubblicazione: (2025)

Worldwide computing and its applications : International conference, WWCA '97, Tsukuba, Japan, March 10-11, 1997 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales