Conditional and Typed Rewriting Systems 4th International Workshop Ctrs 94 Jerusalem Israel July 1994
Conditional and Typed Rewriting Systems 4th International Workshop Ctrs 94 Jerusalem Israel July 1994 Login for the JSON version of this page.
- Title
- Conditional and Typed Rewriting Systems 4th International Workshop Ctrs 94 Jerusalem Israel July 1994
- ISBN-10
- 3-540-60381-6
- ISBN-13
- 978-3-540-60381-8
- Author(s)
- Nachum Dershowitz, International Workshop On Conditional And Typed Rewriting Systems 4th 1994 Jerusalem, Naomi Lindenstrauss, International Workshop On Conditionaland Typed Rewriting Systems 4th 1994 Jerusalem, Languages And Programming 21st 1994 Jerusalem International Colloquium On Automata
- Publisher
- Springer
- Published
- 1995
- Format
- Paperback
- Subtitle
- Login for full book details.
- Series
- Login to see series details.
- Imprint
- Login for imprint details.
- Pages
- 843
- Language
- Login for language details.
- Subjects
- Login for subjects details.
- Genre
- Login for genre details.
Description
Login for description.
Metadata
- EAN
- 9783540603818
- ASIN
- 3540603816
- Prefix
- 978
- Group
- 3
- Group Name
- German language
- Group Identifier
- 978-3
- Registrant
- 540
- Publication
- 60381
- Check Digit
- 8
- Formatted
- 978-3-540-60381-8