Work

The Deductive Spreadsheet

Year: 2013

Type: book

Source: Cognitive technologies

DOI: 10.1007/978-3-642-37747-1

Author: Iliano Cervesato

Institutions: Carnegie Mellon University Qatar, Carnegie Mellon University

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W142848105

FWCI: 0.208

Cites: 54

Cited by: 4

Related to: 10