Fields of Logic and Computation III Image close
Fields of Logic and Computation III
Fields of Logic and Computation III
Show Hide Adult Content
Fields of Logic and Computation III close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer programming / software development

Fields of Logic and Computation III

Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$139.99
RRP:
$149.95 save $9.96
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 $35.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 7-19 June using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Artificial Intelligence in Music, Sound, Art and Design
$150.99
Artificial Intelligence in Music, Sound, Art and Design
Paperback / softback
Pre-order - out Friday
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$187.99
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 14 Jul 2024
Theory and Applications of Models of Computation
$337.99
Theory and Applications of Models of Computation
Paperback / softback
Pre-order - out 21 May 2024
Foundations and Practice of Security
$151.99
Foundations and Practice of Security
Paperback / softback
Pre-order - out 26 May 2024
Advances in Knowledge Discovery and Data Mining
$291.99
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 27 May 2024
Advances in Cryptology – EUROCRYPT 2024
$291.99
Advances in Cryptology – EUROCRYPT 2024
Paperback / softback
Pre-order - out 5 Jun 2024
Advances in Cryptology – EUROCRYPT 2024
$291.99
Advances in Cryptology – EUROCRYPT 2024
Paperback / softback
Pre-order - out 31 May 2024
Advances in Cryptology – EUROCRYPT 2024
$291.99
Advances in Cryptology – EUROCRYPT 2024
Paperback / softback
Pre-order - out 10 Jun 2024
Big Data Analytics in Astronomy, Science, and Engineering
$218.99
Big Data Analytics in Astronomy, Science, and Engineering
Paperback / softback
Pre-order - out 10 Jun 2024
Machine Learning for Cyber Security
$209.99
Machine Learning for Cyber Security
Paperback / softback
Pre-order - out 30 May 2024
Requirements Engineering: Foundation for Software Quality
$151.99
Requirements Engineering: Foundation for Software Quality
Paperback / softback
Pre-order - out Tuesday
Constructive Side-Channel Analysis and Secure Design by Romain Wacquez
$128.99
Constructive Side-Channel Analysis and Secure Design
by Romain Wacquez ~ Paperback / softback
Pre-order - out Tuesday
Topics in Cryptology – CT-RSA 2024
$199.99
Topics in Cryptology – CT-RSA 2024
Paperback / softback
Pre-order - out 7 Jun 2024
Discrete Geometry and Mathematical Morphology by Sara Brunetti
$291.99
Discrete Geometry and Mathematical Morphology
by Sara Brunetti ~ Paperback / softback
Pre-order - out 6 Jun 2024
Advances in Knowledge Discovery and Data Mining
$242.99
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 27 May 2024
Selected Areas in Cryptography
$187.99
Selected Areas in Cryptography
Paperback / softback
Pre-order - out 13 Jun 2024

Description

This Festschrift is published in honor of Yuri Gurevich’s 80th birthday. An associated conference, YuriFest 2020, was planned for May 18–20 in Fontainebleau, France, in combination with the 39th Journées sur les Arithmétiques Faibles also celebrating Yuri’s 80th birthday. Because of the coronavirus situation, the conference had to be postponed, but this Festschrift is being published as originally planned. It addresses a very wide variety of topics, but by no means all of the fields of logic and computation in which Yuri has made important progress.
Release date Australia
May 23rd, 2020
Contributors
  • Edited by Andreas Blass
  • Edited by Bernd Finkbeiner
  • Edited by Manfred Droste
  • Edited by Nachum Dershowitz
  • Edited by Patrick Cegielski
Pages
341
Edition
1st ed. 2020
Audience
  • Professional & Vocational
Illustrations
9 Illustrations, color; 175 Illustrations, black and white; X, 341 p. 184 illus., 9 illus. in color.
ISBN-13
9783030480059
Product ID
33396864

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 programming / software development
Books >
Non-Fiction >
Reference >
Research & information: general >
Information theory
Books >
Computers & Internet >
Computer hardware >
Network hardware
Books >
Computers & Internet >
Computer programming / software development >
Algorithms & data structures
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Artificial intelligence
Books >
Computers & Internet >
Computer science >
Artificial intelligence >
Expert systems / knowledge-based systems