eBook
Verifying Nonlinear Real Formulas Via Sums of Squares
| Τίτλος: | Verifying Nonlinear Real Formulas Via Sums of Squares |
|---|---|
| Συγγραφείς: | Harrison, JohnAff1 |
| Συνεισφορές: | Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Schneider, Klaus, editor, Brandt, Jens, editor |
| Πηγή: | Theorem Proving in Higher Order Logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings. 4732:102-118 |
| Βάση Δεδομένων: | Springer Nature eBooks |
καταχωρήστε σχόλιο πρώτοι!