Catalogo · 9783540719403
All About Maude - A High-Performance Logical Framework
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott
ISBN 9783540719403
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Reflection in Rewriting Logic
Manuel Clavel
Dostoevsky and Kant
Evgenia Cherkasova
Letters from a Stoic
Seneca the Younger
The Correspondence
J. D. Daniels
The picnic gourmet
Joan Hemingway
Filosofia dell'arredamento
Mario Praz
CHINA Portrait of a People
Tom Carter
Biofabrication
Ritu Raman
Bible
Bible
Laws, etc
Great Britain.
Oliver Twist
Charles Dickens
Gulliver's Travels
Jonathan Swift
Verba volant · scripta manent