REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Przeglądaj przez Autor Schlöder, Julian J.

Skocz do: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
lub wpisz kilka początkowych liter:  
Pokazuję rezultaty 1 do 2 z 2
Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
2012The Gödel Completeness Theorem for Uncountable LanguagesSchlöder, Julian J.; Koepke, Peter--
2012Transition of Consistency and Satisfiability under Language ExtensionsSchlöder, Julian J.; Koepke, Peter--