Kategorie główne

[2948695]

[1824038]

Kategorie szczegółowe BISAC

Pfenning, Frank

Frank Pfenning is Research Computer Scientist in the School of Computer Science at Carnegie Mellon University.

[ ZOBACZ WSZYSTKIE KSIĄŻKI AUTORA ]

Term Rewriting and Applications: 17th International Conference, Rta 2006, Seattle, Wa, Usa, August 12-14, 2006, Proceedings	Automated Deduction - CADE-21: 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings	Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings
Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings	Foundations of Software Science and Computation Structures: 16th International Conference, Fossacs 2013, Held as Part of the European Joint Conference

Czytaj nas na:

Zobacz:

1997-2026 DolnySlask.com Agencja Internetowa