Explore: Logica E Semantica De Programacao
Discover books, insights, and more — all in one place.
Learn more about Logica E Semantica De Programacao with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “logica-e-semantica-de-programacao”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Handbook of Logic in Computer Science
By S. Abramsky
“Handbook of Logic in Computer Science” Metadata:
- Title: ➤ Handbook of Logic in Computer Science
- Author: S. Abramsky
- Language: English
- Number of Pages: Median: 584
- Publisher: ➤ Oxford University Press, Incorporated - Oxford University Press, USA - Clarendon Press - Oxford University Press
- Publish Date: 1992 - 1993 - 1995 - 2001
- Publish Location: Oxford - New York
“Handbook of Logic in Computer Science” Subjects and Themes:
- Subjects: ➤ Symbolic and mathematical Logic - Computer science - Logic, symbolic and mathematical - Logic programming - Electronic Data Processing - Informatique - Logique symbolique et mathématique - COMPUTERS - Reference - Machine Theory - Computer Literacy - Information Technology - Data Processing - Hardware - General - Ciencia da computacao ou informatica - Logica e semantica de programacao - 1888
Edition Identifiers:
- The Open Library ID: ➤ OL1700286M - OL7400697M - OL15537147M - OL7400712M - OL7400708M - OL7400713M
- Online Computer Library Center (OCLC) ID: 25831688 - 53983677 - 270117374
- Library of Congress Control Number (LCCN): 92000510
- All ISBNs: ➤ 0198537816 - 9780198537359 - 9780198537618 - 9780198537625 - 9780198537809 - 9780198537816 - 019853762X - 0198537808 - 0198537352 - 0198537611
Access and General Info:
- First Year Published: 1992
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Handbook of Logic in Computer Science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Temporal logic of programs
By Fred Kröger
“Temporal logic of programs” Metadata:
- Title: Temporal logic of programs
- Author: Fred Kröger
- Language: English
- Number of Pages: Median: 148
- Publisher: Springer-Verlag
- Publish Date: 1987
- Publish Location: New York - Berlin
“Temporal logic of programs” Subjects and Themes:
- Subjects: ➤ Computer programming - Symbolic and mathematical Logic - Programozás - Logique symbolique et mathématique - Programm - Temporale Logik - Matematikai logika - Ordinateurs - Logica e semantica de programacao - Formális logika
Edition Identifiers:
- The Open Library ID: OL2736862M
- Online Computer Library Center (OCLC) ID: 14965599
- Library of Congress Control Number (LCCN): 86031336
- All ISBNs: 9780387170305 - 0387170308
Access and General Info:
- First Year Published: 1987
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Temporal logic of programs at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Automated deduction, CADE-11
By International Conference on Automated Deduction (11th 1992 Saratoga Springs, N.Y.)
“Automated deduction, CADE-11” Metadata:
- Title: Automated deduction, CADE-11
- Author: ➤ International Conference on Automated Deduction (11th 1992 Saratoga Springs, N.Y.)
- Language: English
- Number of Pages: Median: 793
- Publisher: Springer-Verlag
- Publish Date: 1992
- Publish Location: New York - Berlin
“Automated deduction, CADE-11” Subjects and Themes:
- Subjects: ➤ Automatic theorem proving - Congresses - Symbolic and mathematical Logic - Theoremes - Logique symbolique et mathematique - Congres - Logica e semantica de programacao - Demonstration automatique - Automatische bewijsvoering - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL1714178M
- Online Computer Library Center (OCLC) ID: 25873299
- Library of Congress Control Number (LCCN): 92016409
- All ISBNs: 9780387556024 - 9783540556022 - 3540556028 - 0387556028
Access and General Info:
- First Year Published: 1992
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Automated deduction, CADE-11 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Computer science logic
By Egon Borger, G. Jager and H. Kleine Buning
“Computer science logic” Metadata:
- Title: Computer science logic
- Authors: Egon BorgerG. JagerH. Kleine Buning
- Language: English
- Number of Pages: Median: 428
- Publisher: Springer
- Publish Date: 1992
“Computer science logic” Subjects and Themes:
- Subjects: ➤ Congresses - Informatik - Symbolic and mathematical Logic - Computer science - Logik - Mathematics - Matematikai logika - Konferencia - Formális logika - Informatique - Congrès - Mathématiques - Logique symbolique et mathématique - Logica E Semantica De Programacao - Computer logic
- Places: Bern <1991>
Edition Identifiers:
- The Open Library ID: OL10153914M
- Online Computer Library Center (OCLC) ID: 26216722
- Library of Congress Control Number (LCCN): 92023683
- All ISBNs: 9780387557892 - 038755789X
Access and General Info:
- First Year Published: 1992
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Computer science logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.