X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • 1
    Book
    Book
    Logic of domains (1991)
    Boston u.a. : Birkhäuser
    Details
    UID:
    b3kat_BV005849895
    Format: 259 S. , graph. Darst.
    ISBN: 081763570X , 376433570X
    Series Statement: Progress in theoretical computer science
    Note: Literaturverz. S. 251 - 256. - Zugl. revision of: Cambridge, Univ., Diss., 1989
    Language: English
    Subjects: Computer Science , Mathematics
    RVK:
    SK 130
    RVK:
    ST 120
    RVK:
    ST 130
    RVK:
    ST 140
    Keywords: Programmiersprache ; Funktionale Semantik ; Mathematische Logik ; Programmiersprache ; Semantik ; Programmiersprache ; Funktionale Semantik ; Semantischer Bereich ; Attributwertebereich ; Logik ; Hochschulschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    HU Berlin get availability status
  • 2
    Book
    Book
    Logic of domains (1991)
    Boston ; Berlin 〈〈[u.a.]〉〉 : Birkhäuser
    Details
    UID:
    b3kat_BV026092481
    Format: 259 S. , graph. Darst.
    ISBN: 081763570X , 376433570X
    Series Statement: Progress in theoretical computer science 4
    Note: Zugl.: Cambridge, Univ., Diss., 1989
    Language: Undetermined
    Keywords: Programmiersprache ; Funktionale Semantik ; Semantischer Bereich ; Programmiersprache ; Semantik ; Attributwertebereich ; Logik ; Mathematische Logik ; Hochschulschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    FU Berlin get availability status
  • 3
    Book
    Book
    Logic of domains (1991)
    Boston [u.a.] : Birkhäuser
    Details
    UID:
    gbv_019588186
    Format: 259 S. , graph. Darst.
    ISBN: 376433570X , 081763570X
    Series Statement: Progress in theoretical computer science [4]
    Note: Literaturverz. S. 251 - 256 , Teilweise zugl.: Cambridge, Univ., Diss. : 1989
    Language: English
    Subjects: Computer Science , Mathematics
    RVK:
    ST 120
    RVK:
    SK 130
    RVK:
    ST 140
    Keywords: Programmiersprache ; Funktionale Semantik ; Semantischer Bereich ; Hochschulschrift
    URL: Inhaltsverzeichnis
    URL: Inhaltstext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Stabi Berlin get availability status
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages