Showing
1 - 1
results of
1
for search '
"LPR"
'
Skip to content
0
items
(Full)
HOME
SERVICES
NEWS
INFORMATION
CONTACT
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
ADV
Search: "LPR"
Search alternatives
:
lpr »
lspr
Showing
1 - 1
results of
1
for search '
"LPR"
'
, query time: 0.01s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML
by
Yong Kiam, Tan
,
Marijn J. H., Heule
,
Magnus O., Myreen
Published 2023
Subjects:
“
...
LPR
...
”
Get full text
Get full text
Book
Add to Book Bag
Remove from Book Bag
Save to List
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Back
Narrow Search
Institution
Digital Phenikaa
1
Format
Book
1
Author
Magnus O., Myreen
1
Marijn J. H., Heule
1
Yong Kiam, Tan
1
Language
English
1
Year of Publication
From:
To:
×
Loading...
