Computability theory, semantics, and logic programming

Computability theory, semantics, and logic programming

by Fitting, Melvin

Type Book
Rate 0.0 /5
Details
Files
Reviews
Download

Title Statements

  • Full title :Computability theory, semantics, and logic programming / Melvin Fitting.

Edition Statements

  • Publication Date:1987.

Publication Statements

The Physical Object

  • Description:xi, 198 pages : : illustrations ; : 24 cm.

Edition Identifiers

  • ISBN:0195036913, 9780195036916
  • oclc:ocm11842343
  • LC Classification:QA9.59
  • Dewey Decimal:001.64/2

Subjects

Berechenbarkeit Berekenbaarheid calculabilité Computable functions Computer Systems Data structures (Computer science) Datenstruktur Datenverarbeitung EFS Fonctions calculables Kompatibilität logica logische Programmierung programmation en logique programmeertalen Programmiersprache Semantik sémantique langage programmation structure donnée Structures de données (Informatique)

Writers

Fitting, Melvin

More from this Series

  • Twenty-five years of constructive type theory

    1998.
    more →

  • Twenty-five years of constructive type theory

    1998.
    more →

  • Twenty-five years of constructive type theory

    1998
    more →
    Twenty-five years of constructive type theory

  • Twenty five years of constructive type theory

    1998.
    more →
    Twenty five years of constructive type theory

  • Twenty-five years of constructive type theory

    1998.
    more →

Rate & Review

0.0/5
(0 people Voted)

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

Files & Downloads

  • Computability Theory, Semantics, and Logic Progra…

    DJVU · 2.1 MB · updated
    Login →

  • Computability theory, semantics, and logic progra…

    DJVU · 1.5 MB · updated
    Login →
Log in to request a copy