Published 1998 | Version v1

Publication Metadata-only

Constraint solving in Logic Programming and in Automated Deduction: A comparison

Contributors

Others:

Additional details

URL: http://hdl.handle.net/11567/387797
URN: urn:oai:iris.unige.it:11567/387797

Origin repository: UNIGE

5

Views

0

Downloads

Show more details

	All versions	This version
Views	5	5
Downloads	0	0
Data volume	0 Bytes	0 Bytes

More info on how stats are collected....

Technical metadata

Created: April 14, 2023
Modified: April 8, 2025