Suchfeld einblenden
Schlagwort Extensionale Logik
1 Treffer
Seite < 1 >
Brummayer, Robert: Efficient SMT solving for bit vectors and the extensional theory of arrays
/ Robert Brummayer. - Linz : Trauner, 2010. - 142 S. : graph. Darst.; 21 cm - (Schriften der Johannes-Kepler-Universität Linz : Reihe C, Technik und Naturwissenschaften; 61)
ISBN 978-3-85499-707-8 kart.
Quelle: DNB
Seite < 1 >