polski   English  
 

dLibra Digital Library

polski   English  

Metadata languages

Similar to edition
Operacja konsekwencji w trójsekwencyjnym rachunku predykatów Łukasiewicza
Found : 17
View:
1. 

Uogólnianie dowodów

Find similar objects  |  Add to bibliography

2. 

Zanurzenia algebr Heytinga w przestrzenie topologiczne

Find similar objects  |  Add to bibliography

3. 

Konstruowalność niezależnych zbiorów generatorów filtrów w algebrach Boole'a

Find similar objects  |  Add to bibliography

4. 

O zawartości karty ideałów przeliczalnych algebr Boole'a

Find similar objects  |  Add to bibliography

5. 

Montague style semantics for illocutionary logic

Find similar objects  |  Add to bibliography

6. 

Algorytmy genetyczne

Find similar objects  |  Add to bibliography

7. 

Some applications of the resolution on hypergraphs

Find similar objects  |  Add to bibliography

8. 

Non-local equations in mathematics and physics : theory of non-local elasticity

Find similar objects  |  Add to bibliography

9. 

Equational theories of P-compatible varieties

Find similar objects  |  Add to bibliography

10. 

Queueing systems with random length demands

Find similar objects  |  Add to bibliography

11. 

Metody wnioskowania w systemach ekspertowych

Find similar objects  |  Add to bibliography

12. 

Free algebras over some varieties

Find similar objects  |  Add to bibliography

13. 

Trójwartościowa reprezentacja zbiorów przybliżonych

Find similar objects  |  Add to bibliography

14. 

Krata podrozmaitości rozmaitości wyznaczonej przez równości pewnej postaci grup abelowych-I

Find similar objects  |  Add to bibliography

15. 

Ogólny schemat niezależności w ujęciu algebraicznym

Find similar objects  |  Add to bibliography