Higher order logic theorem proving and its applications

Detalhes bibliográficos
Outros Autores: Claesen, Luc J M (Editor)
Formato: Printed Book
Publicado em: North-Holland Publishing Co., Amsterdam 1993
Assuntos:
Computer programming

Registos relacionados