Logic programming

Logic programming: proceedings

by

Type Book
Rate 0.0 /5
Details
Files
Reviews
Download

Title Statements

  • Full title :Logic programming : proceedings / of the 1991 International symposium [San Diego, USA, Oct 28 - Nov 1, 1991] ; edited by Vijay Saraswat and Kazunori Ueda.

Edition Statements

  • Publication Date:cop. 1991.

Publication Statements

  • Publisher(s):MIT Press
  • Place of Publication:Cambridge, Mass
  • Language:eng
  • Publication Date:cop. 1991.

Notes

Actes du congrès : "International Symposium on Logic Programming", nouvelle appellation de "North American Conference on Logic Programming."

The Physical Object

  • Description:1 v. (XVIII-740 p.) : : ill. ; : 23 cm

Edition Identifiers

  • ISBN:0262691477, 9780262691475
  • oclc:ocn493455878
  • LC Classification:QA76.63
  • Dewey Decimal:005.1

Subjects

Concurrence Conference papers and proceedings construction langage contrainte environnement logiciel Logic programming Logic programming -- Congresses logique non classique machine Warren Ordinateurs -- Programmation parallélisme programmation en logique Programmation logique -- Congrès Raisonnement non-monotone réécriture synthèse programme transformation programme TYPE

Writers

Saraswat, Vijay A. Ueda, Kazunori

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

  • Logic programming: proceedings of the 1991 intern…

    DJVU · 7.7 MB · updated
    Login →