onr:"swepub:oai:DiVA.org:uu-86460"
Search: onr:"swepub:oai:DiVA.org:uu-86460" > Executable Formal D...
- 1 of 1
- Previous record
- Next record
- To hitlist
| Fältnamn | Indikatorer | Metadata |
|---|---|---|
| 000 | 00812nam a2200205 4500 | |
| 001 | oai:DiVA.org:uu-86460 | |
| 003 | SwePub | |
| 008 | 061116s1991 | |||||||||||000 ||eng| | |
| 024 | 7 | a https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-864602 URI |
| 040 | a (SwePub)uu | |
| 041 | a eng | |
| 042 | 9 SwePub | |
| 072 | 7 | a vet2 swepub-contenttype |
| 072 | 7 | a lic2 swepub-publicationtype |
| 100 | 1 | a Oestreicher, Larsu Uppsala universitet,Institutionen för informationsvetenskap,DSV4 aut0 (Swepub:uu)larsoest |
| 245 | 1 0 | a Executable Formal Descriptions for Software Design :b Logic and Logic Programming as a Design Tool |
| 264 | 1 | c 1991 |
| 338 | a print2 rdacarrier | |
| 710 | 2 | a Uppsala universitetb Institutionen för informationsvetenskap4 org |
| 856 | 4 8 | u https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-86460 |
Find in a library
- Executable Formal Descriptions for Software Design Logic and Logic Programming a... (Search the publication in LIBRIS)
To the university's database
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Oestreicher, Lar ...
- By the university
- Uppsala University
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
