Search
Feedback
About
Help
News
| Listing 1 - 10 of 116 | << page >> |
Sort by
|
Book
ISBN: 2843520843 9782843520846 Year: 1998 Publisher: [S. l.] : Diderot,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 3540761233 Year: 1998 Publisher: Berlin Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISSN: 03029743 ISBN: 3540646752 9783540646754 Year: 1998 Volume: 1421 Publisher: Berlin [etc.] : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 0792351290 0792351320 0792351304 0792351312 Year: 1998 Publisher: Dordrecht ; Norwell, MA : Kluwer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 0262133423 0585320918 9780585320915 Year: 1998 Publisher: Cambridge, Mass. MIT Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic, Symbolic and mathematical. --- Research --- Methodology.
Book
Year: 1998 Publisher: [Place of publication not identified] I E E E Imprint
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
This text covers the 13th Symposium on Logic in Computer Science held in 1998. The symposium covered topics in computational mathemetics and complexity theory. Contents include: finite model theory; verification; logics; concurrency; category theory; and theorem proving and rewriting.
Computer science --- Logic, Symbolic and mathematical --- Mathematics
ISBN: 0849331978 Year: 1998 Publisher: Boca Raton (Fla.) : CRC press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 1879585634 Year: 1998 Publisher: Rehoboth American research press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic, Symbolic and mathematical --- Logic --- Miscellanea --- Miscellanea
ISBN: 0191916544 1280819723 9786610819720 0191589039 9780191589034 9781280819728 6610819726 0198501227 0198501277 9780198501275 9780191916540 Year: 1998 Publisher: Oxford : New York : Clarendon Press ; Oxford University Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Martin-LoÌf type theory is an important and practical formalisation of the foundations of mathematics. This volume celebrates the 25th anniversary of the birth of the subject, and is a record of areas of activity and of its early development.
Book
Year: 1998 Publisher: [Place of publication not identified] I E E E Imprint
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
This text covers the 13th Symposium on Logic in Computer Science held in 1998. The symposium covered topics in computational mathemetics and complexity theory. Contents include: finite model theory; verification; logics; concurrency; category theory; and theorem proving and rewriting.
Computer science --- Logic, Symbolic and mathematical --- Mathematics
| Listing 1 - 10 of 116 | << page >> |
Sort by
|