Handbook of automated reasoning
type: Book
type: ProductModel
type: CreativeWork
issued: 2001
about: p077605411
about: p07565704X
about: p075665506
about: p077601874
about: p078577209
about: p078567297
about: p075652528
contributor: p224289527
contributor: p097142778
language: en
isbn: 0444829490
main entity of page: https://data.bibliotheken.nl/.well-known/genid/0feadd119135a06ace853ff6c8c9aa21
number of pages: 2122
label: Handbook of automated reasoning / ed. Alan Robinson and Andrei Voronkov