Vänta ...
Enkel sökning
Avancerad sökning
Statistik
English
Svenska
Norsk
Hoppa till innehåll
Ändra sökning
Sök
Sök
Endast dokument med fulltext i DiVA
Referera
Exportera
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Länk till posten
Permanent länk
https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-22580
Direktlänk
https://ri.diva-portal.org/smash/record.jsf?pid=diva2:1042145
Referera
Referensformat
apa
ieee
modern-language-association-8th-edition
vancouver
Annat format
apa
ieee
modern-language-association-8th-edition
vancouver
Annat format
Fler format
Språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annat språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annat språk
Fler språk
Utmatningsformat
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Skapa
Stäng
A BDD-based approach to multiple level combinational logic synthesis
Carlsson, Mats
RISE., Swedish ICT, SICS, Computer Systems Laboratory.
ORCID-id:
0000-0003-3079-8095
1992 (Engelska)
Ingår i:
Practical Application of Prolog / [ed] Al Roth, 1992, 1
Konferensbidrag, Publicerat paper (Refereegranskat)
Ort, förlag, år, upplaga, sidor
1992, 1.
Nationell ämneskategori
Data- och informationsvetenskap
Identifikatorer
URN:
urn:nbn:se:ri:diva-22580
OAI: oai:DiVA.org:ri-22580
DiVA, id:
diva2:1042145
Konferens
Practical Application of Prolog Conference, 1 - 3 April 1992, London, England
Tillgänglig från:
2016-10-31
Skapad:
2016-10-31
Senast uppdaterad:
2025-09-23
Bibliografiskt granskad
Open Access i DiVA
fulltext
(138 kB)
95 nedladdningar
Filinformation
Filnamn
FULLTEXT01.pdf
Filstorlek
138 kB
Checksumma
SHA-512
2bfc4208c82276b275ba061e653c3887311ab7d6a1c5b7833210b063c0dc69042c61993bce05b1d52aa06bcdc5aa2144967ce9aed00e2c560fc03c88b62b51f8
Typ
fulltext
Mimetyp
application/pdf
Person
Carlsson, Mats
Sök vidare i DiVA
Av författaren/redaktören
Carlsson, Mats
Av organisationen
Computer Systems Laboratory
I ämnet
Data- och informationsvetenskap
Sök vidare utanför DiVA
Google
Google Scholar
Totalt: 95 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.
urn-nbn
Altmetricpoäng
urn-nbn
Totalt: 169 träffar
Referera
Exportera
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Länk till posten
Permanent länk
https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-22580
Direktlänk
https://ri.diva-portal.org/smash/record.jsf?pid=diva2:1042145
Referera
Referensformat
apa
ieee
modern-language-association-8th-edition
vancouver
Annat format
apa
ieee
modern-language-association-8th-edition
vancouver
Annat format
Fler format
Språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annat språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annat språk
Fler språk
Utmatningsformat
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Skapa
Stäng
v. 2.47.0
|
WCAG
DiVA
Logotyp