Skip to Content

Automated Model Building

   Info_icon.svg       BibTeX_logo.svg   
Ricardo Caferra, Alexander Leitsch, Nicholas Peltier
Applied Logic Series 31
Springer, Dordrecht
2004
rivista o collana
Journal_icon.svg Applied Logic Series (APLS)

Automated Model Building
— stato
pubblicato
— tipo
libro
chi
— autori
Ricardo Caferra  •  Alexander Leitsch  •  Nicholas Peltier
dove e quando
— data di pubblicazione
2004
— volume
Automated Model Building
— serie
Applied Logic Series
— volume n.
31
— editore
Springer
allineamento BibTeX
— indirizzo
Dordrecht
URL
URL  •  URL PDF
— DOI
10.1007/978-1-4020-2653-9
— OpenAlex
W2161689238
ISBN & ISSN
— ISSN
1386-2790
APICe
— rivista o collana
Applied Logic Series