Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article - MaRDI portal

scientific article

From MaRDI portal

Publication:3332284

Jump to:navigation, search

zbMath0543.68075MaRDI QIDQ3332284

Irena Pevac, Dragos Cvetković

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

first order formula computer oriented algorithms for transforming formulas formula matching

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35)

Related Items (1)

Man-machine theorem proving in graph theory

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3332284&oldid=16573473"