onr:"swepub:oai:DiVA.org:uu-86460"
Sökning: onr:"swepub:oai:DiVA.org:uu-86460" > Executable Formal D...
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
| 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 |
Hitta via bibliotek
- Executable Formal Descriptions for Software Design Logic and Logic Programming a... (Sök publikationen i LIBRIS)
Till lärosätets databas
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Hitta mer i SwePub
- Av författaren/redakt...
- Oestreicher, Lar ...
- Av lärosätet
- Uppsala universitet
Sök utanför SwePub
- Sök vidare i:
- 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 - Nationella bibliotekssystem
- LIBRIS.kb.se
