CUR 发表于 2025-3-28 16:38:34

http://reply.papertrans.cn/59/5880/587977/587977_41.png

Anticoagulant 发表于 2025-3-28 21:34:31

http://reply.papertrans.cn/59/5880/587977/587977_42.png

peritonitis 发表于 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. Z is an important example of a ring in which the critical-p

recede 发表于 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

AXIS 发表于 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

defile 发表于 2025-3-29 15:05:13

http://reply.papertrans.cn/59/5880/587977/587977_46.png

神化怪物 发表于 2025-3-29 17:38:52

Anne Brüggemann,Lutz Priese,Dieter Rödding,Rüdiger Schätz

危险 发表于 2025-3-29 20:57:56

http://reply.papertrans.cn/59/5880/587977/587977_48.png

CRUE 发表于 2025-3-30 01:53:21

http://reply.papertrans.cn/59/5880/587977/587977_49.png

Promotion 发表于 2025-3-30 07:48:48

http://reply.papertrans.cn/59/5880/587977/587977_50.png
页: 1 2 3 4 [5] 6 7
查看完整版本: Titlebook: Logic and Machines: Decision Problems and Complexity; Proceedings of the S E. Börger,G. Hasenjaeger,D. Rödding Conference proceedings 1984