Higher order logic theorem proving and its applications

Detalles Bibliográficos
Otros Autores: Claesen, Luc J M (Editor )
Formato: Printed Book
Publicado: North-Holland Publishing Co., Amsterdam 1993
Materias:
Computer programming

Ejemplares similares