학술논문
'학술논문'
에서 검색결과 16건 | 목록
1~10
Report
Abraham, E.; Abbott, J.; Becker, B.; Bigatti, A. M.; Brain, M.; Buchberger, B.; Cimatti, A.; Davenport, J. H.; England, M.; Fontaine, P.; Forrest, S.; Griggio, A.; Kroening, D.; Seiler, W. M.; Sturm, T.
M. Kohlhase, M. Johansson, B. Miller, L. de Moura, F. Tompa, eds., Intelligent Computer Mathematics (Proceedings of CICM 2016), pp. 28-43, (Lecture Notes in Computer Science, 9791). Springer International Publishing, 2016
Report
Abraham, E.; Abbott, J.; Becker, B.; Bigatti, A. M.; Brain, M.; Buchberger, B.; Cimatti, A.; Davenport, J. H.; England, M.; Fontaine, P.; Forrest, S.; Griggio, A.; Kroening, D.; Seiler, W. M.; Sturm, T.
ACM Communications in Computer Algebra, 50:4 (issue 198), pp. 145-147, ACM, 2016
Academic Journal
Ábrahám, E.; Abbott, J.; Becker, B.; Bigatti, A. M.; Brain, M.; Buchberger, B.; Cimatti, A.; Davenport, J. H.; England, M.; Fontaine, P.; Forrest, S.; Griggio, A.; Kroening, D.; Seiler, W. M.; Sturm, T.
ACM Communications in Computer Algebra. 50(4):145-147
Academic Journal
Academic Journal
Academic Journal
Bigatti, A. M. (I-GENO) AMS Author Profile; Caboara, M. (I-PISA) AMS Author Profile; Robbiano, L. (I-GENO) AMS Author Profile
Periodical
Journal of Pure and Applied Algebra; 1997, Vol. 119 Issue: 3 p237-254, 18p
Academic Journal
Bigatti, A. M. (I-GENO) AMS Author Profile; Conca, A. (I-GENO) AMS Author Profile; Robbiano, L. (I-GENO) AMS Author Profile
검색 결과 제한하기
제한된 항목
[AR] Bigatti, A. M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어