Showing
1 - 1
results of
1
for search '
Bradley, Aaron R.
'
Skip to content
Catálogo Colectivo de Bibliotecas Eclesiásticas de España
Language
English
Español
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Bradley, Aaron R.
Showing
1 - 1
results of
1
for search '
Bradley, Aaron R.
'
, query time: 0.01s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
1
Calculus of computation decision procedures with applications to verification
by
Bradley, Aaron R
.
Published 2007
Other Authors:
“…
Bradley, Aaron R
.…”
Call Number:
Loading…
Located:
Loading…
Book
Loading…
Search Tools:
RSS Feed
Email Search
Related Subjects
Informàtica
Lògica
Programes d'ordinador
Verificació
Catálogo Colectivo de Bibliotecas Eclesiásticas de España
Catálogo Colectivo de Bibliotecas Eclesiásticas de España
