Logic and Its Applications

Name: Logic and Its Applications
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783662458235
Price: 297.23 RON
Availability: InStock

6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings

Autor: Mohua Banerjee, Krishna S.

Limbă:

Legare: Carte broșată

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

Disponibilitate: În depozitul extern în cantități mici

Expediem în 11-15 zile

297.23 lei

This book collects the refereed proceedings of the 6th Indian Conference on Logic and Its Applicatio...

Informații despre carte

Autor

Mohua Banerjee, Krishna S.

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2014

Pagini

236

EAN

9783662458235

ISBN

3662458233

Enbook ID

09095085

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

454

Dimensiuni

155 x 235 x 14

Descriere completă

This book collects the refereed proceedings of the 6th Indian Conference on Logic and Its Applications, ICLA 2015, held in Mumbai, India, in January 2015.§The volume contains 13 full revised papers along with 3 invited talks presented at the conference. The papers were selected after rigorous review, from 23 submissions. They cover topics related to pure and applied formal logic, foundations and philosophy of mathematics and the sciences, set theory, model theory, proof theory, areas of theoretical computer science, artificial intelligence, systems of logic in the Indian tradition, and other disciplines which are of direct interest to mathematical and philosophical 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

6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings

Informații despre carte

Descriere completă

S-ar putea să te intereseze

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