<?xml version="1.0"?><rdf:RDF xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:edm="http://www.europeana.eu/schemas/edm/" xmlns:wgs84_pos="http://www.w3.org/2003/01/geo/wgs84_pos" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:rdaGr2="http://rdvocab.info/ElementsGr2" xmlns:oai="http://www.openarchives.org/OAI/2.0/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:ore="http://www.openarchives.org/ore/terms/" xmlns:skos="http://www.w3.org/2004/02/skos/core#" xmlns:dcterms="http://purl.org/dc/terms/"><edm:WebResource rdf:about="http://www.dlib.si/stream/URN:NBN:SI:doc-N0PMOO80/391ff40e-7077-4a85-8d3c-791e7bf6d0a5/PDF"><dcterms:extent>285 KB</dcterms:extent></edm:WebResource><edm:WebResource rdf:about="http://www.dlib.si/stream/URN:NBN:SI:doc-N0PMOO80/dc18ac87-b7bc-4583-b34a-1a1b6a9e1346/TEXT"><dcterms:extent>54 KB</dcterms:extent></edm:WebResource><edm:TimeSpan rdf:about="1977-2026"><edm:begin xml:lang="en">1977</edm:begin><edm:end xml:lang="en">2026</edm:end></edm:TimeSpan><edm:ProvidedCHO rdf:about="URN:NBN:SI:doc-N0PMOO80"><dcterms:isPartOf rdf:resource="https://www.dlib.si/details/URN:NBN:SI:spr-EE5UIE2V" /><dcterms:issued>2008</dcterms:issued><dc:creator>Nica, Mihai</dc:creator><dc:creator>Wotawa, Franz</dc:creator><dc:format xml:lang="sl">letnik:32</dc:format><dc:format xml:lang="sl">številka:4</dc:format><dc:format xml:lang="sl">str. 359-371</dc:format><dc:identifier>ISSN:0350-5596</dc:identifier><dc:identifier>COBISSID:22414375</dc:identifier><dc:identifier>URN:URN:NBN:SI:doc-N0PMOO80</dc:identifier><dc:language>sl</dc:language><dc:publisher xml:lang="sl">Slovensko društvo Informatika</dc:publisher><dcterms:isPartOf xml:lang="sl">Informatica (Ljubljana)</dcterms:isPartOf><dc:subject xml:lang="sl">preizkušanje</dc:subject><dc:subject xml:lang="sl">računalniški programi</dc:subject><dc:subject xml:lang="sl">razhroščevanje</dc:subject><dc:subject rdf:resource="http://www.wikidata.org/entity/Q845566" /><dcterms:temporal rdf:resource="1977-2026" /><dc:title xml:lang="sl">On the compilation of programs into their equivalent constraint representation|</dc:title><dc:description xml:lang="sl">Revija Informatica je mednarodni časopis za računalništvo in informatiko, izhaja četrtletno in je glasilo, ki interdisciplinarno povezuje raznovrstna področja informatike. Revija izhaja od leta 1977 in jo izdaja Slovensko društvo Informatika</dc:description><edm:type>TEXT</edm:type><dc:type xml:lang="sl">znanstveno časopisje</dc:type><dc:type xml:lang="en">journals</dc:type><dc:type rdf:resource="http://www.wikidata.org/entity/Q361785" /></edm:ProvidedCHO><ore:Aggregation rdf:about="http://www.dlib.si/?URN=URN:NBN:SI:doc-N0PMOO80"><edm:aggregatedCHO rdf:resource="URN:NBN:SI:doc-N0PMOO80" /><edm:isShownBy rdf:resource="http://www.dlib.si/stream/URN:NBN:SI:doc-N0PMOO80/391ff40e-7077-4a85-8d3c-791e7bf6d0a5/PDF" /><edm:rights rdf:resource="http://rightsstatements.org/vocab/InC/1.0/" /><edm:provider>Slovenian National E-content Aggregator</edm:provider><edm:intermediateProvider xml:lang="en">National and University Library of Slovenia</edm:intermediateProvider><edm:dataProvider xml:lang="sl">Slovensko društvo Informatika</edm:dataProvider><edm:object rdf:resource="http://www.dlib.si/streamdb/URN:NBN:SI:doc-N0PMOO80/maxi/edm" /><edm:isShownAt rdf:resource="http://www.dlib.si/details/URN:NBN:SI:doc-N0PMOO80" /></ore:Aggregation></rdf:RDF>