Katalog der Deutschen Nationalbibliothek

Musikarchiv

Buchmuseum

Expertensuche ?

Noch nicht die passende Literatur gefunden? → Book a Librarian

Am Dienstag, den 11.06.2024 ist die Deutsche Nationalbibliothek in Frankfurt am Main wegen eines Betriebsausflugs geschlossen.

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

Treffer 1 von 1


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

Korrekturanfrage