To access the full text documents, please follow this link: http://hdl.handle.net/2445/136285
Title: | Demostració automàtica |
---|---|
Author: | Martínez Alonso, Juan Carlos |
Other authors: | Universitat de Barcelona |
Abstract: | |
Subject(s): | -Demostració automàtica de teoremes -PROLOG (Llenguatges de programació) -Lògica matemàtica -Automatic theorem proving -Prolog (Computer program language) -Mathematical logic |
Rights: | cc-by-nc-nd (c) Martínez Alonso, Juan Carlos, 2000
http://creativecommons.org/licenses/by-nc-nd/3.0/es |
Document type: | Article Article - Published version |
Published by: | IEC |
Share: |