Results 1 to 10 of about 148,388 (311)
Poiésis, 2018 Some of the next articles are maybe not open access.
Program tactics and logic tactics
Annals of Mathematics and Artificial Intelligence, 1994zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Giunchiglia, Fausto, P. Traverso
openaire +2 more sources
Journal of the American Society for Information Science, 1979
AbstractAn information search tactic is a move made to further a search. In this article, 17 “idea tactics” are presented: tactics to help generate new ideas or solutions to problems in information searching. The focus of these tactics is psychological; they are intended to help improve the information specialist's thinking and creative processes in ...
openaire +1 more source
AbstractAn information search tactic is a move made to further a search. In this article, 17 “idea tactics” are presented: tactics to help generate new ideas or solutions to problems in information searching. The focus of these tactics is psychological; they are intended to help improve the information specialist's thinking and creative processes in ...
openaire +1 more source
The Journal of Alternative and Complementary Medicine, 2002
Per Fugelli, a physician–scientist at the Institute of Public Health in Oslo, Norway, advised fellow physicians at a conference on social medicine to respond proactively to the increasing competition they now face from practitioners of alternative medicine.
openaire +2 more sources
Per Fugelli, a physician–scientist at the Institute of Public Health in Oslo, Norway, advised fellow physicians at a conference on social medicine to respond proactively to the increasing competition they now face from practitioners of alternative medicine.
openaire +2 more sources
Tactics for Hierarchical Proof
Mathematics in Computer Science, 2010zbMATH Open Web Interface contents unavailable due to conflicting licenses.
David Aspinall 0001 +2 more
openaire +2 more sources
Nursing Standard, 1990
News that the Government is likely to postpone changes to community care provision surely raises some fundamental questions about the intent and wisdom of the initiative. The rhetoric which accompanied 'Caring for people' ( 1 ) about patient choice and client- centred care has vanished.
openaire +2 more sources
News that the Government is likely to postpone changes to community care provision surely raises some fundamental questions about the intent and wisdom of the initiative. The rhetoric which accompanied 'Caring for people' ( 1 ) about patient choice and client- centred care has vanished.
openaire +2 more sources
J. Inf. Process. Cybern., 1994
Summary: This paper describes the use of tactics in the KIV (``Karlsruhe Interactive Verifier'') proof environment for interactive, machine-supported proofs. Software verification is used as an example for a special application. We present the basic concepts of proof trees and tactics in KIV, a proof method, tactics, automated support, and proof ...
Reif, Wolfgang +2 more
openaire +3 more sources
Summary: This paper describes the use of tactics in the KIV (``Karlsruhe Interactive Verifier'') proof environment for interactive, machine-supported proofs. Software verification is used as an example for a special application. We present the basic concepts of proof trees and tactics in KIV, a proof method, tactics, automated support, and proof ...
Reif, Wolfgang +2 more
openaire +3 more sources