Logic and Its Applications

7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Autor: Sujata Ghosh, Sanjiva Prasad

Limbă:

Legare: Carte broșată

Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

275.89 lei

This book collects the refereed proceedings of the 7th Indian Conference on Logic and Its Applicati...

Informații despre carte

Autor

Sujata Ghosh, Sanjiva Prasad

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2016

Pagini

239

EAN

9783662540688

ISBN

9783662540688

Enbook ID

15460120

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

3869

Dimensiuni

155 x 235 x 16

Descriere completă

This book collects the refereed proceedings of the 7th Indian Conference on Logic and Its Applications, ICLA 2017, held in Mumbai, India, in January 2017. The volume contains 13 full revised papers along with 4 invited talks presented at the conference.

The aim of this conference series is to bring together researchers from a wide variety of fields in which formal logic plays a significant role. Areas of interest include mathematical and philosophical logic, computer science logic, foundations and philosophy of mathematics and the sciences, use of formal logic in areas of theoretical computer science and artificial intelligence, logic and linguistics, and the relationship between logic and other branches of knowledge. Of special interest are studies in systems of logic in the Indian tradition, and historical research on logic.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Logic and Its Applications

7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Stars, Fans, and Consumption in the 1950s

Ship Transportation and the Chignecto Ship Railway

Max and Voltaire Sightseeing and Catnapping

The Allure of Chanel

Star Trek Library Collection, Vol. 1

Powell Lake by Barge and Quad

Fundamental Concepts in Biophysics

The Principles of Pleading, Practice, and Procedure in Civil Actions in the High Court of Justice.

The Best Ever Guide to Getting Out of Debt for Architect: Hundreds of Ways to Ditch Your Debt, Manage Your Money and Fix Your Finances

Clienții care au cumpărat această carte au mai cumpărat și

Racconti di Pietroburgo

Itanglese. Storie di parole da abstract a wine bar

Metodologías lúdicas para la personalización del aprendizaje

Studi sul concettismo. Emblema, impresa, epigramma, concetto

Rosmány Karol

?Cállese y Crezca!: Sorprendentes ense?anzas iniciáticas de CHAMALÚ

Libro di sogni

Deutschbuch - Sprach- und Lesebuch - Erweiterte Ausgabe - 8. Schuljahr

Etudes Sur Les Langues Du Haut-Zambeze: Textes Originaux Recueillis Et Traduits En Francais

Federico de Motos : historia y arqueología del sureste peninsular en los inicios del siglo XX

Staatliche Zukunfts- und Entwicklungsvorsorge

Flächen und Körper, 5./6. Klasse