找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: Logic and Machines: Decision Problems and Complexity; Proceedings of the S E. Börger,G. Hasenjaeger,D. Rödding Conference proceedings 1984

[复制链接]
楼主: 浮标
发表于 2025-3-28 16:38:34 | 显示全部楼层
发表于 2025-3-28 21:34:31 | 显示全部楼层
发表于 2025-3-29 01:18:21 | 显示全部楼层
A critical-pair/completion algorithm for finitely generated ideals in rings,the starting point of the paper. Furthermore, a set of reduction axioms is given, under which the correctness of the algorithm can be proven and which are preserved when passing from a ring R to the polynomial ring R[x.,...,,x.]. Z[x.,...,x.] is an important example of a ring in which the critical-p
发表于 2025-3-29 04:31:31 | 显示全部楼层
G. Hasenjaegerlt:.Alle wichtigen Arzneimittel mit Indikation, Dosierung und Nebenwirkungen übersichtlich und aktuell.Notfallmedikamente und Medikamente im Rettungsdienst.Glossar, Abkürzungen sowie Adressen der Vergiftungszentralen.Übungsfragen zur Wissensüberprüfung erleichtern das Behalten der vielen Fakten.978-3-662-54418-1978-3-662-54419-8
发表于 2025-3-29 09:07:28 | 显示全部楼层
H. Kleine Büningt.Neu in der 6. Auflage: Medikation bei Osteoporose.Glossar, Abkürzungen sowie Adressen der Vergiftungszentralen.Übungsfragen zur Wissensüberprüfung erleichtern das Behalten der vielen Fakten.978-3-642-29987-2
发表于 2025-3-29 15:05:13 | 显示全部楼层
发表于 2025-3-29 17:38:52 | 显示全部楼层
Anne Brüggemann,Lutz Priese,Dieter Rödding,Rüdiger Schätz
发表于 2025-3-29 20:57:56 | 显示全部楼层
发表于 2025-3-30 01:53:21 | 显示全部楼层
发表于 2025-3-30 07:48:48 | 显示全部楼层
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-6-27 10:24
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表