73

Concerning the semantic consequence relation in first-order temporal logic

Year:
1986
Language:
english
File:
PDF, 332 KB
english, 1986
74

Incompleteness of first-order temporal logic with until

Year:
1988
Language:
english
File:
PDF, 1.06 MB
english, 1988
75

On strictly arithmetical completeness in logics of programs

Year:
1991
Language:
english
File:
PDF, 892 KB
english, 1991
79

Sonochemical preparation of SbSI gel

Year:
2008
Language:
english
File:
PDF, 599 KB
english, 2008
84

Sonochemical preparation of antimony subiodide

Year:
2010
Language:
english
File:
PDF, 1.17 MB
english, 2010
87

Extension of Typical CNC Systems by External Controllers

Year:
1989
Language:
english
File:
PDF, 363 KB
english, 1989
90

Two-level pattern recognition in a class of knowledge-based systems

Year:
2002
Language:
english
File:
PDF, 336 KB
english, 2002
91

108. Logika terapii antyangiogennej

Year:
2003
Language:
polish
File:
PDF, 96 KB
polish, 2003
92

17 Strategia terapii genowej w hamowaniu angiogenezy nowotworów

Year:
1998
Language:
polish
File:
PDF, 144 KB
polish, 1998