Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/163393
-
Titel: 
Foreword
en
Zitat: 
Bjørner, N., & Kovacs, L. (2012). Foreword. Journal of Symbolic Computation, 47(12), 1413–1415. https://doi.org/10.1016/j.jsc.2011.12.047
-
Verlags-DOI: 
10.1016/j.jsc.2011.12.047
-
Publikationstyp: 
Artikel - Vorwort
de
Sprache: 
Englisch
-
Autor_innen: 
Bjørner, Nikolaj 
Kovacs, Laura 
-
Organisations­einheit: 
E194-05 - Forschungsbereich Compilers and Languages 
-
Zeitschrift: 
Journal of Symbolic Computation 
-
ISSN: 
0747-7171
-
Datum (veröffentlicht): 
Dez-2012
-
Umfang: 
3
-
Verlag: 
ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD
-
Peer Reviewed: 
Nein
-
Keywords: 
Computational Mathematics; Algebra and Number Theory
-
Forschungs­schwerpunkte: 
Logic and Computation: 100%
-
Wissenschafts­zweig: 
Mathematik, Informatik
-
Enthalten in den Sammlungen:
Article

Zur Langanzeige

Seiten Aufrufe

181
aufgerufen am 23.11.2023

Download(s)

2
aufgerufen am 23.11.2023

Google ScholarTM

Check