Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Exoplanets Artists Albums Gazetteer Search

Home
Books
Automated Deduction - CADE-18

Automated Deduction - CADE-18

by Andrei Voronkov

Cover of Automated Deduction - CADE-18

No description available.

CongressesSymbolic and mathematical LogicAutomatic theorem provingLogic, symbolic and mathematical

View on OpenLibrary ↗ · data from Open Library (CC0)

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.