Zobrazeno 1 - 10
of 28
pro vyhledávání: '"Meng, Paul"'
Autor:
Barrett, Clark, Barbosa, Haniel, Brain, Martin, Ibeling, Duligur, King, Tim, Meng, Paul, Niemetz, Aina, Nötzli, Andres, Preiner, Mathias, Reynolds, Andrew, Tinelli, Cesare
This paper is a description of the CVC4 SMT solver as entered into the 2018 SMT Competition. We only list important differences from the 2017 SMT Competition version of CVC4. For further and more detailed information about CVC4, please refer to the o
Externí odkaz:
http://arxiv.org/abs/1806.08775
Publikováno v:
Behavioral Disorders. May2023, Vol. 48 Issue 3, p201-211. 11p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Houchins, David E., Hitchcock, John H., Conroy, Maureen A., Bastable, Eoin, Meng, Paul, Falcon, Sarah Fairbanks, McIntosh, Kent
Publikováno v:
Behavioral Disorders; May 2023, Vol. 48 Issue: 3 p201-211, 11p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Preventing School Failure; 2021, Vol. 65 Issue 4, p283-290, 8p, 1 Chart
Autor:
Nese, Rhonda N. T., Nese, Joseph F. T., McCroskey, Connor, Meng, Paul, Triplett, Danielle, Bastable, Eoin
Publikováno v:
Preventing School Failure; 2021, Vol. 65 Issue 4, p301-311, 11p, 1 Black and White Photograph, 1 Diagram, 1 Chart
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Drug Information Journal; October 1995, Vol. 29 Issue: 4 p1217-1223, 7p