Automated theorem proving for the KARO-architecture

JM Valk, JFM Tonino, A Bos, C Witteveen

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Original languageUndefined/Unknown
Title of host publicationESSLLI 99
Place of PublicationS.l.
Publishers.n.
Pages1-13
Number of pages13
Publication statusPublished - 1999
Event11th European Summer School on Logic, Language and Information, S.l. - S.l.
Duration: 15 Aug 199915 Aug 1999

Publication series

Name
PublisherS.n.

Conference

Conference11th European Summer School on Logic, Language and Information, S.l.
Period15/08/9915/08/99

Keywords

  • ZX Int.klas.verslagjaar < 2002

Cite this