Log in to your account
Leitsch,, Alexander
The resolution calculus / Alexander Leitsch
The resolution calculus / Alexander Leitsch . - Berlin : Springer, 1997 . - VIII, 300 p. 25 cm . - (Texts in theoretical computer science))
3-540-61882-1 (Encadernado)
510.5
The resolution calculus / Alexander Leitsch . - Berlin : Springer, 1997 . - VIII, 300 p. 25 cm . - (Texts in theoretical computer science))
3-540-61882-1 (Encadernado)
510.5
Exporting to Dublin Core...
Bibliotecas Libraries
Serviços Services
Contactos gerais Contacts
- Serviço de Documentação e Bibliotecas
- Campus de Gualtar, Edifício 04
- 4710-057 Braga
- +351 253 604 150
- usdb@usdb.uminho.pt
- http://www.sdum.uminho.pt
- Serviço de Documentação e Bibliotecas
- Campus de Gualtar, Edifício 04
- 4710-057 Braga
- +351 253 604 150
- usdb@usdb.uminho.pt
