Handbook of practical logic and automated reasoning / John Harrison

Date :

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 978-0-521-89957-4

ISBN : 0-521-89957-5

EAN : 9780521899574

Logique informatique

Inférence

Logique mathématique

Théorèmes -- Démonstration automatique

Classification Dewey : 006.333