System description: KtSeqC

Rajeev Gore

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Original languageEnglish
    Title of host publicationLecture Notes in Artificial Intelligence
    EditorsKanade, T et al
    Place of PublicationBerlin
    PublisherSpringer
    Pages29-31
    EditionPeer Reviewed
    ISBN (Print)0302-9743
    Publication statusPublished - 1999
    EventInternational Conference on Theorem Proving with Analytic Tableaux and Related methods (TABLEAUX 1999) - Saratoga Springs, NY
    Duration: 1 Jan 1999 → …

    Conference

    ConferenceInternational Conference on Theorem Proving with Analytic Tableaux and Related methods (TABLEAUX 1999)
    Period1/01/99 → …
    OtherJune 7-11 1999

    Cite this