Cover Image

Saved in:
Bibliographic Details
Main Authors: Park, Sewon, Brauße, Franz, Collins, Pieter, Kim, SunYoung, Konečný, Michal, Lee, Gyesik, Müller, Norbert, Neumann, Eike, Preining, Norbert, Ziegler, Martin
Format: Preprint
Published: 2016
Subjects:
Numerical Analysis
Logic in Computer Science
03B70, 65Y99, 68P, 68N, 68Q
F.3.1; G.1.0; I.1.2
Online Access:https://arxiv.org/abs/1608.05787
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first

Similar Items