Mathematical Institute eLibrary of Mathematical Instituteof the Serbian Academy of Sciences and Arts Mathematical Institute
> Home / All Journals / Journal /
 
Front Page FilomatPublisher: Faculty of Sciences and Mathematics, NišISSN: 0354-5180Issue: 9_3Date: 1995Journal Homepage
 

Theory of multiple antisymmetry 711 - 721
Slavik V. Jablan  
Abstract
Euclid - the geometry theorems prover 723 - 732
Predrag Janičić and Stevan Kordić  
Automatic theorem proving in field theory using quantifier elimination 733 - 742
Aleksandar Jovanović and Žarko Mijajlović  
Abstract
Identity, permutation and binary trees 765 - 781
Aleksandar Kron  
Abstract
Автоматы и лабиринты 783 - 802
В. Б. Кудрявцев, Ш. Ушчумлич and Г. Килибарда  
Abstract
Omitting types in Kripke models 803 - 807
Zoran Marković  
Abstract
A classification of loops on at most six elements 809 - 822
Snežana Matić-Kekić and Dragan M. Acketa  
Abstract
Article page: <<12345>>




Remote Address: 18.232.125.188 • Server: elib.mi.sanu.ac.rsHTTP User Agent: claudebot