Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
Neuigkeiten Mittwoch, 22. Mai 2024: Die Deutsche Nationalbibliothek in Leipzig ist wegen eines Betriebsausflug geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind bis 18 Uhr geöffnet. // Wednesday, 22 May 2024: The German National Library in Leipzig will be closed due to a staff outing. The exhibitions of the German Museum of Books and Writing will open from 10:00 to 18:00.
 
 

Ergebnis der Suche nach: tit all "Refutation-based synthesis in SMT."



Treffer 1 von 1 < < > <



Artikel
Link zu diesem Datensatz https://d-nb.info/1127390007
Titel Refutation-based synthesis in SMT / by Andrew Reynolds, Viktor Kuncak, Cesare Tinelli, Clark Barrett, Morgan Deters
Person(en) Reynolds, Andrew (Verfasser)
Kuncak, Viktor (Sonstige)
Tinelli, Cesare (Sonstige)
Barrett, Clark (Sonstige)
Deters, Morgan (Sonstige)
Organisation(en) SpringerLink (Online service) (Sonstige)
Umfang/Format Online-Ressource : online resource.
Persistent Identifier URN: urn:nbn:de:1111-2017031013591
DOI: 10.1007/s10703-017-0270-2
URL http://dx.doi.org/10.1007/s10703-017-0270-2
Zeitliche Einordnung Erscheinungsdatum: 2017
Sprache(n) Englisch (eng)
Beziehungen In: Formal methods in system design (16.2.2017: 1-30)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration