Logic and Its Applications Image close
Logic and Its Applications
Logic and Its Applications
Show Hide Adult Content
Logic and Its Applications close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Applications  
Computer modelling & simulation

Logic and Its Applications

7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$133.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $33.50 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 24 Jun - 4 Jul using International Courier

Explore more Theoretical Computer Science and General Issues

See all products in this series

Structural Information and Communication Complexity Save $12
$146.99
$159.95
Structural Information and Communication Complexity
Paperback / softback
Available - Usually ships in 3-4 weeks
Neural Information Processing
$262.99
Neural Information Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Stabilization, Safety, and Security of Distributed Systems Save $12
$138.99
$151.95
Stabilization, Safety, and Security of Distributed Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Neural Networks -- ISNN 2011
$270.99
Advances in Neural Networks -- ISNN 2011
Paperback / softback
Available - Usually ships in 3-4 weeks
Combinatorial Optimization Save $13
$139.99
$153.95
Combinatorial Optimization
Paperback / softback
Available - Usually ships in 3-4 weeks
Principles of Distributed Systems Save $38
$141.99
$180.95
Principles of Distributed Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Discrete and Computational Geometry and Graphs
$133.99
Discrete and Computational Geometry and Graphs
Paperback / softback
Available - Usually ships in 3-4 weeks
Biomedical Simulation Save $17
$134.99
$152.95
Biomedical Simulation
Paperback / softback
Available - Usually ships in 3-4 weeks
Developments in Language Theory Save $5
$139.99
$145.95
Developments in Language Theory
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science and Its Applications - ICCSA 2014 Save $59
$150.99
$210.95
Computational Science and Its Applications - ICCSA 2014
Paperback / softback
Available - Usually ships in 3-4 weeks
Artificial Neural Networks and Machine Learning - ICANN 2011 Save $39
$140.99
$180.95
Artificial Neural Networks and Machine Learning - ICANN 2011
Paperback / softback
Available - Usually ships in 3-4 weeks
Network and Parallel Computing
$307.99
Network and Parallel Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Genetic Programming Save $26
$136.99
$163.95
Genetic Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
SOFSEM 2006: Theory and Practice of Computer Science Save $63
$161.99
$225.95
SOFSEM 2006: Theory and Practice of Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Algebraic Biology Save $24
$134.99
$159.95
Algebraic Biology
Paperback / softback
Available - Usually ships in 3-4 weeks
Structural Information and Communication Complexity Save $24
$136.99
$161.95
Structural Information and Communication Complexity
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date Australia
December 6th, 2016
Audience
  • Professional & Vocational
Contributors
  • Edited by Sanjiva Prasad
  • Edited by Sujata Ghosh
Edition
1st ed. 2017
Illustrations
28 Illustrations, black and white; X, 239 p. 28 illus.
Pages
239
Dimensions
155x235x13
ISBN-13
9783662540688
Product ID
26251888

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Applications >
Computer modelling & simulation
Books >
Computers & Internet >
Computer programming / software development >
Algorithms & data structures
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Artificial intelligence