National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
lauselogiikka
URI:
http://www.yso.fi/onto/yso/p10364
name
lauselogiikka
Works about lauselogiikka
Extending SAT solver with parity reasoning
Grid based propositional satisfiability solving
Logiikan peruskurssi
Logiikan peruskurssi
Logiikka : perusteet
Logiikka ja kieli
Logiikkaa : teoriaa ja sovelluksia
Looginen päättely : johdatusta argumentoinnin ja päättelyn menetelmiin
Matematiikkaa ja logiikkaa tietojenkäsittelijöille
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD